In this paper we provide a semantic reconstruction of rational closure. We first consider
rational closure as defined by Lehman and Magidor [33] for propositional logic, and we …

This chapter gives an overview of current dynamic logics that describe belief update and
revision, both for single agents and in multi-agent settings. We employ a mixture of ideas …

The logic \mathbbV is the basic logic of counterfactuals in the family of Lewis' systems. It is
characterized by the whole class of so-called sphere models. We propose a new sequent …

Normality judgements are frequently used in everyday communication as well as in
biological and social science. Moreover they became increasingly relevant to formal logic as …

In this paper we focus on proof methods and theorem proving for normal conditional logics,
by describing nested sequent calculi as well as a theorem prover for them. We first present …

The normative realm involves deontic notions such as obligation or permission, as well as
information about relevant actions and states of the world. This mixture is not static, given …

The logic Y is the basic logic of counterfactuals in the family of Lewis' systems. It is
characterized by the whole class of so-called sphere models. We propose a new sequent …

Many linguistic, logical and philosophical concepts are related to normality. In discussions
on the semantics of normality in the last decades majority was rarely considered as a …

A Quantitative Logic of Normality Page 1 Normality Qualitative Normality Quantitative
Normality Conclusion A Quantitative Logic of Normality Corina Strößner 25/07/2011 Corina …

Commonsense Reasoning often deals with patterns of default reasoning captured by
sentences of the formin most days, Jim will have a co ee after work'orin almost all cases, rain …