Beiträge in Tagungsbänden:
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.
Kurzfassung englisch:
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.
Schlagworte:
Nested sequent calculus; Conditional doxastic logic; Belief revision; Multi-agent epistemic logic
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-19570-0_46
Zugeordnete Projekte:
Projektleitung Agata Ciabattoni:
RTD-Indian
Projektleitung Agata Ciabattoni:
TICAMORE
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.