The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus

The logic of Conditional Beliefs has been introduced by Board, Baltag and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. It is shown that the semantics of this logic, defined in terms of plausibility models, can be equivalently formulated in terms of neighbourhood models, a multi-agent generalisation of Lewis' spheres models. On the base of this new semantics, a labelled sequent calculus for this logic is developed. The calculus has strong proof-theoretic properties, in particular cut and contraction are admissible and that the calculus provides a direct decision procedure for this logic. Further, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic.

[1]  Barteld Kooi,et al.  Logic and the foundations of game and decision theory (LOFT 7) , 2008 .

[2]  Nicola Olivetti,et al.  A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics , 2015, TABLEAUX.

[3]  Eric Pacuit,et al.  Neighborhood Semantics for Modal Logic , 2017 .

[4]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[5]  Eric Pacuit,et al.  Dynamic Epistemic Logic I: Modeling Knowledge and Belief , 2013, Philosophy Compass.

[6]  SARA NEGRI,et al.  Proof Analysis for Lewis Counterfactuals , 2016, Rev. Symb. Log..

[7]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[8]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[9]  Camilla Schwind,et al.  A sequent calculus and a theorem prover for standard conditional logics , 2007, TOCL.

[10]  Lorenz Demey,et al.  Some remarks on the model theory of epistemic plausibility models , 2010, J. Appl. Non Class. Logics.

[11]  Alexandru Baltag,et al.  The logic of conditional doxastic actions , 2008 .

[12]  Joseph Y. Halpern,et al.  On the Complexity of Conditional Logics , 1994, KR.

[13]  Sara Negri,et al.  Proof Analysis in Modal Logic , 2005, J. Philos. Log..

[14]  Sara Negri,et al.  Proof Analysis: A Contribution to Hilbert's Last Problem , 2011 .

[15]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[16]  Alexandru Baltag,et al.  Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision , 2006, WoLLIC.

[17]  Oliver Board,et al.  Dynamic interactive epistemology , 2004, Games Econ. Behav..

[18]  Michael Wooldridge,et al.  Logic and the Foundations of Game and Decision Theory - LOFT , 2009 .