[Back]


Contributions to Proceedings:

M. Girlando, B. Lellmann, N. Olivetti:
"Nested Sequents for the Logic of Conditional Belief";
in: "JELIA 2019", Springer, 2019, ISBN: 978-3-030-19569-4, 709 - 725.



English abstract:
The logic of conditional belief, called Conditional Doxastic Logic (CDL), was proposed by Board, Baltag and Smets to model revisable 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.

Keywords:
Nested sequent calculus; Conditional doxastic logic; Belief revision; Multi-agent epistemic logic


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-19570-0_46



Related Projects:
Project Head Agata Ciabattoni:
RTD-Indian

Project Head Agata Ciabattoni:
TICAMORE


Created from the Publication Database of the Vienna University of Technology.