Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Conditional Beliefs: from Neighbourhood Semantics to Sequent Calculus

Abstract : The logic of Conditional Beliefs (CDL) has been introduced by Board, Baltag and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this paper both the semantics and the proof theory for this logic are studied. First, a natural semantics for CDL is defined in terms of neighbourhood models, a multi-agent generalisation of Lewis' spheres models, and it is shown that the axiomatization of CDL is sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics is equivalent to the original one defined in terms of plausibility models, by means of a direct correspondence between the two types of models. On the basis of neighbourhood semantics, a labelled sequent calculus for CDL is obtained. The calculus has strong proof-theoretic properties, in particular admissibility of contraction and cut, and it provides a decision procedure for the logic. Furthermore, its semantic completeness is used to obtain a constructive proof of the finite model property of the logic. Finally, it is shown that other doxastic operators can be easily captured within neighbourhood semantics. This fact provides further evidence of the naturalness of the neighbourhood semantics for the analysis of epistemic/doxastic notions.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Marianna Girlando Connect in order to contact the contributor
Submitted on : Wednesday, February 7, 2018 - 12:49:49 PM
Last modification on : Tuesday, May 3, 2022 - 6:26:03 PM
Long-term archiving on: : Friday, May 4, 2018 - 9:52:51 PM


Files produced by the author(s)


  • HAL Id : hal-01702961, version 1



Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. Conditional Beliefs: from Neighbourhood Semantics to Sequent Calculus. The review of symbolic logic, Cambridge University Press, 2018, pp.1-44. ⟨hal-01702961⟩



Record views


Files downloads