Nested sequents for the logic of conditional belief - ANR - Agence nationale de la recherche Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Nested sequents for the logic of conditional belief

Résumé

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.
Fichier principal
Vignette du fichier
Nested_sequents_for_the_logic_of_conditional_belief.pdf (386.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02077057 , version 1 (22-03-2019)

Identifiants

  • HAL Id : hal-02077057 , version 1

Citer

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⟩
100 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More