C Straßer, M Beirlaen, F Van De Putte - Studia Logica, 2016 - Springer
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The …
Preference models lie at the core of the formalization for several related notions, such as non-monotonic reasoning, obligations, goals, beliefs, etc. Recently, the interest in integrating …
K Britz, I Varzinczak - 16th International Workshop on Non …, 2016 - nmr2016.cs.uct.ac.za
We venture beyond the customary semantic approach in NMR, namely that of placing orderings on worlds (or valuations). In a modal-logic setting, we motivate and investigate the …
This thesis develops inquisitive conditional-doxastic logic, obtained by enriching classical multi-agent plausibility models with issues for each agent. The aim of these models is to …
In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove …
Preference models lie at the core of the formalization for several related notions, such as non-monotonic reasoning, obligations, goals, beliefs, etc. Recently, the interest in integrating …
In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove …
This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for …
In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove …