We show how belief revision can be treated systematically in the format of dynamicepistemic
logic, when operators of conditional belief are added. The core engine consists of definable …

Statements not only update our current knowledge, but also have other dynamic effects. In
particular, suggestions or commands 'upgrade'our preferences by changing the current …

In this paper we present a cut-free sequent calculus, called SeqS, for some standard
conditional logics. The calculus uses labels and transition formulas and can be used to …

Our understanding of subjunctive conditionals has been greatly enhanced through the use
of possible world semantics and, more precisely, by the idea that they involve variably strict …

Japanese has a large number of evidential and modal expressions. Many of the inferential
evidentials–mitai, yoo, rashii–also have an adjectival use. On this use, they make a claim …

A collective obligation is an obligation directed to a group of agents so that the group, as a
whole, is obliged to achieve a given task. The problem investigated here is the impact of …

In this chapter we introduce the contents of the work. We give an essential introduction to
conditional and preferential logics, observing that, in spite of their significance, very few …

We explore the notion of duality for defeasible entailment relations induced by preference
orderings on states. We then show that such preferential entailment relations may be used to …

In this paper we present CondLean 3.1, a theorem prover for some standard conditional
logics, namely CK, CK+ ID, CK+ MP, CK+ CS, CK+ CEM, and some of their combinations …

We present proof methods for the logics of nonmonotonic reasoning defined by Kraus,
Lehmann and Magidor (KLM). We introduce tableaux calculi (called TSt) for all KLM logics …