Uniform labelled calculi for conditional and counterfactual logics
Résumé
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.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...