Hybrid Counterfactual Logics
暂无分享,去创建一个
[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..