In Wehmeier (2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the markedunmarked dichotomies are not the same in the tw...

We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Science using prototypes, plans, or schemata; formal semantics in natural language, especially the semantics of the ‘if-then’ conditional construct; and the logic of subjunctive conditionals first developed using a poss...

The Spanish subjunctive has been the focus of much SLA research, largely because it poses difficulties for learners of Spanish whose L1 is English (e.g., Collentine, 1993; Stokes & Krashen, 1990; Terrell et al., 1987). Investigating the same feature in heritage learners of Spanish can provide more information about their linguistic development and also has the potential to inform our knowledge ...

Information exploration often involves specifying alternative values for some set of parameters, and comparing the corresponding results. Some interfaces allow only one scenario, i.e., one set of parameter values, to be handled at a time. To compare results, the user must therefore switch repeatedly among the scenarios of interest and must remember details of the results seen so far. A subjunct...

We present a logic for belief revision in which revision of a theory by a sentence is represented using a conditional connective. The conditional is not primitive, but rather defined using two unary modal operators. Our approach captures and extends the classic AGM model without relying on the Limit Assumption. Reasoning about counterfactual or hypothetical situations is also crucial for AI. Ex...

in a broader context of arguing against the view that conceivability provides epistemic access to the metaphysical modalities. His goal is “to identify the sources and forms of our knowledge of metaphysical possibility and metaphysical necessity” (205). 1 The account proceeds in two stages. First, he contends that “metaphysical necessity and metaphysical possibility can be reductively explained...

The AGM rationality postulates for belief revision play an important role in the formal-ization of subjunctive queries over knowledge bases. However, the well known triviality results by GG ardenfors in connection with the Ramsey Test make deening a query semantics corresponding to these rationality postulates a diicult task. While existing approaches avoid the triviality results by restricting...