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.