Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
暂无分享,去创建一个
[1] Brian F. Chellas. Basic conditional logic , 1975, J. Philos. Log..
[2] Luca Viganò,et al. Labelled non-classical logics , 2000 .
[3] Guido Governatori. Un Modello Formale Per Il Ragionamento Giuridico , 1997 .
[4] Bernhard Beckert,et al. Free Variable Tableaux for Propositional Modal Logics , 1997, TABLEAUX.
[5] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[6] D. Nute. Topics in Conditional Logic , 1980 .
[7] M. Baldoni. NORMAL MULTIMODAL LOGICS WITH INTERACTION AXIOMS A Tableau Calculus and Some (Un)Decidability Results , 2000 .
[8] Dov M. Gabbay,et al. Conditional implications and non-monotonic consequence , 1996 .
[9] Claudio Pizzi. Decision Procedures for Logics of Consequential Implication , 1991, Notre Dame J. Formal Log..
[10] Luis Fariñas del Cerro,et al. From Ordering-Based Nonmonotonic Reasoning to Conditional Logics , 1992, Artif. Intell..
[11] Philippe Lamarre,et al. On the Connection between Non-monotonic Inference Systems and Conditional Logics , 1992, KR.
[12] John P. Burgess,et al. Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..
[13] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[14] Philippe Lamarre,et al. A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover , 1992, KR.
[15] Craig Boutilier,et al. Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..
[16] Harrie C. M. de Swart. A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS , 1983, J. Symb. Log..
[17] Fabio Massacci,et al. Strongly Analytic Tableaux for Normal Modal Logics , 1994, CADE.
[18] R. Smullyan. First-Order Logic , 1968 .
[19] David Billington,et al. Defeasible Logic is Stable , 1993, J. Log. Comput..
[20] Marcello D'Agostino,et al. The Taming of the Cut. Classical Refutations with Analytic Cut , 1994, J. Log. Comput..
[21] Guido Governatori,et al. Towards a Computational Treatment of Deontic Defeasibility , 1996, DEON.
[22] Ian P. Gent. A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC , 1992, Notre Dame J. Formal Log..
[23] Guido Governatori,et al. A tableau methodology for deontic conditional logics , 2000, ArXiv.
[24] Dov M. Gabbay,et al. Chapter 13 – Labelled Deductive Systems , 2003 .
[25] James P. Delgrande,et al. A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..
[26] L. Fariñas del Cerro,et al. Structure, consequence relation and logic , 1994 .
[27] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[28] James P. Delgrande,et al. Tableau-Based Theorem Proving In Normal Conditional Logics , 1988, AAAI.
[29] Guido Governatori,et al. Shakespearian Modal Logic: A Labelled Treatment of Modal Identity , 1996, Advances in Modal Logic.
[30] Yoav Shoham,et al. A semantical approach to nonmonotonic logics , 1987, LICS 1987.
[31] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[32] Guido Governatori,et al. A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations , 2000, TABLEAUX.
[33] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[34] Dov M. Gabbay,et al. Fibred modal tableaux , 2000 .
[35] Dov M. Gabbay,et al. Dealing with label dependent deontic modalities , 1998 .
[36] Hirofumi Katsuno,et al. A Unified View of Consequence Relation, Belief Revision and Conditional Logic , 1991, IJCAI.