 |
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.
Cited literature [14 references]
https://hal.archives-ouvertes.fr/hal-01794369
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:45:00 PM
Last modification on : Wednesday, February 10, 2021 - 3:10:41 AM
Long-term archiving on: : Monday, September 24, 2018 - 1:43:55 PM
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:45:00 PM
Last modification on : Wednesday, February 10, 2021 - 3:10:41 AM
Long-term archiving on: : Monday, September 24, 2018 - 1:43:55 PM
File
AIML_2016.pdf
Files produced by the author(s)