The logic of conditional beliefs: neighbourhood semantics and sequent calculus

Marianna Girlando 1, 2 Sara Negri 3 Nicola Olivetti 1, 2 Vincent Risch 1
1 LIS - Laboratoire d'Informatique et Systèmes
2 LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre
LIS - Laboratoire d'Informatique et Systèmes
3 University of Helsinki [Helsinki]
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.
Keywords : neighbourhood semantics conditional logic Epistemic logic sequent calculus decision procedure
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

UNIV-TLN | UNIV-AMU | LIS-LAB

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

65

Files downloads

53

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD