Sentences with disjunction in the scope of a possibility modal often convey something stronger than predicted under the standard semantics for modals and disjunction, roughly paraphrasable in terms of a wide scope conjunction. You may have beer or wine, for example, is naturally understood as conveying that you may have beer and that you may have wine. This ‘puzzle of free choice permission’ (R...

Horn Clause Programs have a natural depth-first procedural semantics. However, for many programs this procedural semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the alternative execution branches. Tor, a well-defined hook into Prolog disjunction, provides this ability. It is light-weight thanks to its library approa...

It is shown that disjunction of two switch-lists can blow up the representation size exponentially. Since be negated without any increase in size, this shows conjunction also leads to an exponential blow-up general.

A third family is reported in which the Xg groups give information about the origin of an XXXY member: successive non-disjunction at the first and second paternal meiotic divisions is much the most likely cause. In the two previous informative families successive non-disjunction at maternal meiotic divisions was the most likely cause. An enquiry showed the average age of 29 fathers at the birth...

Gurevich and Neeman introduced Distributed Knowledge Authorization Language (DKAL). The world of DKAL consists of communicating principals computing their own knowledge in their own states. DKAL is based on a new logic of information, the so-called infon logic, and its efficient subsystem called primal logic. In this paper we simplify Kripkean semantics of primal logic and study various extensi...

We present CR-Prolog , an extension of CR-Prolog with an improved semantics, and allowing ordered disjunction in the head of both regular rules and consistency-restoring rules. The new semantics yields intuitive conclusions in cases when CR-Prolog would give unintuitive results. The use of ordered disjunction often allows for a more concise, easier to read, representation of knowledge. We also ...

Abstract This paper addresses two issues: 1. Empirically, we report novel experimental data on agreement with exclusively disjoined subjects in Slovenian; 2. Theoretically, look into the nature of attested strategies coordinated NPs. In particular, investigate how these behave under coordinators different semantics, i.e. exclusive disjunction and conjunction. Based elicitation results, argue th...

Since Horn (1972) the notion of conversational implicature proposed by Grice has been put to use to explain certain interpretive differences between expressions in natural language and their counterparts in formal logic. For example, the sentences in (1) seem to convey more than they would be expected to if the natural language disjunction or had the same meaning as the logical disjunction∨, or...