Closed monadic Σ1, as proposed in [AFS98], is the existential monadic second order logic where alternation between existential second order quantifiers and first order quantifiers is allowed. Despite some effort very little is known about the expressive power of this logic on finite structures. We construct a tree automaton which exactly characterizes closed monadic Σ1 on the Rabin tree and giv...

Therapeutic work with the client's present moment experience in existential therapy was studied by means of conversation analysis. Using publicly available video recordings of therapy sessions as data, an existential therapist's practice of guiding a client into immediacy, or refocusing the talk on a client's immediate experience, was described and compared with a therapist's corresponding acti...

For any LP system, tabling can be quite handy in a variety of tasks, especially if it is efficiently implemented and fully integrated in the language. Implementing tabling in Mercury poses special challenges for several reasons. First, Mercury is both semantically and culturally quite different from Prolog. While decreeing that tabled predicates must not include cuts is acceptable in a Prolog s...