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

https://hal.archives-ouvertes.fr/hal-02330313
Contributor : Marianna Girlando <>
Submitted on : Wednesday, October 23, 2019 - 9:40:43 PM
Last modification on : Friday, March 5, 2021 - 2:51:08 PM
Long-term archiving on: : Friday, January 24, 2020 - 9:17:02 PM

File

gnscameraready_submission.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02330313, version 1

Collections

Citation

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

Share

Metrics

Record views

97

Files downloads

141