Hybrid Counterfactual Logics

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption.

[1]  Balder ten Cate,et al.  Hybrid logics , 2007, Handbook of Modal Logic.

[2]  Maarten Marx,et al.  Hybrid logics with Sahlqvist axioms , 2005, Log. J. IGPL.

[3]  Patrick Blackburn,et al.  Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.

[4]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[5]  Robert Stalnaker A Theory of Conditionals , 2019, Knowledge and Conditionals.

[6]  Balder ten Cate,et al.  Pure Extensions, Proof Rules, and Hybrid Axiomatics , 2006, Stud Logica.

[7]  Patrick Blackburn,et al.  Tense, Temporal Reference, and Tense Logic , 1994, J. Semant..

[8]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[9]  Gösta Grahne,et al.  Updates and Counterfactuals , 1998, J. Log. Comput..

[10]  Patrick Blackburn Nominal tense logic and other sorted intensional frameworks , 1990 .

[11]  Balder ten Cate,et al.  Topological Perspective on the Hybrid Proof Rules , 2007, HyLo@FLoC.

[12]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[13]  Patrick Blackburn,et al.  Arthur Prior and Hybrid Logic , 2006, Synthese.

[14]  Patrick Blackburn,et al.  Nominal Tense Logic , 1992, Notre Dame J. Formal Log..