Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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.
https://hal.archives-ouvertes.fr/hal-01794387 Contributor : Marianna GirlandoConnect in order to contact the contributor Submitted on : Thursday, May 17, 2018 - 2:53:09 PM Last modification on : Tuesday, February 8, 2022 - 3:06:45 AM Long-term archiving on: : Monday, September 24, 2018 - 7:49:19 PM