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

Nested sequents for the logic of conditional belief

Abstract : The logic of conditional belief, called Conditional Doxastic Logic (CDL), was proposed by Board, Baltag and Smets to model revis-able belief and knowledge in a multi-agent setting. We present a proof system for CDL in the form of a nested sequent calculus. To the best of our knowledge, ours is the first internal and standard calculus for this logic. We take as primitive a multi-agent version of the "comparative plausibility operator", as in Lewis' counterfactual logic. The calculus is analytic and provides a decision procedure for CDL. As a by-product we also obtain a nested sequent calculus for multi-agent modal logic S5i.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Marianna Girlando Connect in order to contact the contributor
Submitted on : Friday, March 22, 2019 - 3:56:10 PM
Last modification on : Sunday, June 26, 2022 - 10:14:38 AM
Long-term archiving on: : Sunday, June 23, 2019 - 3:53:30 PM


Files produced by the author(s)


  • HAL Id : hal-02077057, version 1



Marianna Girlando, Bjoern Lellmann, Nicola Olivetti. Nested sequents for the logic of conditional belief. JELIA - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. ⟨hal-02077057⟩



Record views


Files downloads