[Zurück]

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, S. 709 - 725.

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.

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

http://dx.doi.org/10.1007/978-3-030-19570-0_46

Projektleitung Agata Ciabattoni:
RTD-Indian

Projektleitung Agata Ciabattoni:
TICAMORE