Skip to Main content Skip to Navigation
Conference papers

Uniform labelled calculi for conditional and counterfactual logics

Abstract : Lewis's counterfactual logics are a class of conditional logics that are defined as extensions of classical propositional logic with a two-place modal operator expressing conditionality. Labelled proof systems are proposed here that capture in a modular way Burgess's preferential conditional logic PCL, Lewis's counterfactual logic V, and their extensions. The calculi are based on preferential models, a uniform semantics for conditional logics introduced by Lewis. The calculi are analytic, and their completeness is proved by means of countermodel construction. Due to termination in root-first proof search, the calculi also provide a decision procedure for the logics.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Marianna Girlando Connect in order to contact the contributor
Submitted on : Wednesday, October 23, 2019 - 9:40:43 PM
Last modification on : Tuesday, May 3, 2022 - 6:26:03 PM
Long-term archiving on: : Friday, January 24, 2020 - 9:17:02 PM


Files produced by the author(s)


  • HAL Id : hal-02330313, version 1



Marianna Girlando, Sara Negri, Giorgio Sbardolini. Uniform labelled calculi for conditional and counterfactual logics. WoLLIC 2019, Jul 2019, Utrecht, Netherlands. ⟨hal-02330313⟩



Record views


Files downloads