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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01794369
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:45:00 PM
Last modification on : Thursday, March 28, 2019 - 3:50:02 PM
Long-term archiving on : Monday, September 24, 2018 - 1:43:55 PM

File

AIML_2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01794369, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

65

Files downloads

53