Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01794387
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:53:09 PM
Last modification on : Friday, March 22, 2019 - 3:41:44 PM
Long-term archiving on : Monday, September 24, 2018 - 7:49:19 PM

File

hyp_2017tableaux.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01794387, version 1

Collections

Citation

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

Share

Metrics

Record views

67

Files downloads

93