Skip to Main content Skip to Navigation
Conference papers

The logic of conditional beliefs: neighbourhood semantics and sequent calculus

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Marianna Girlando Connect in order to contact the contributor
Submitted on : Thursday, May 17, 2018 - 2:45:00 PM
Last modification on : Tuesday, May 3, 2022 - 6:26:03 PM
Long-term archiving on: : Monday, September 24, 2018 - 1:43:55 PM


Files produced by the author(s)


  • HAL Id : hal-01794369, version 1



Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. The logic of conditional beliefs: neighbourhood semantics and sequent calculus. Advances in Modal Logics 2016, L. Beklemishev, S. Demri and A. Màté, Aug 2016, Budapest, Hungary. pp.322-341. ⟨hal-01794369⟩



Record views


Files downloads