Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity - ANR - Agence nationale de la recherche Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity

Résumé

We present the first internal calculi for Lewis' conditional logics characterized by uniformity and reflexivity, including non-standard internal hypersequent calculi for a number of extensions of the logic VTU. These calculi allow for syntactic proofs of cut elimination and known connections to S5. We then introduce standard internal hypersequent calculi for all these logics, in which sequents are enriched by additional structures to encode plausibility formulas as well as diamond formulas. These calculi provide both a decision procedure for the respective logics and constructive countermodel extraction from a failed proof search attempt.
Fichier principal
Vignette du fichier
hyp_2017tableaux.pdf (177.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01794387 , version 1 (17-05-2018)

Identifiants

  • HAL Id : hal-01794387 , version 1

Citer

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato. Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.131-148. ⟨hal-01794387⟩
109 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More