KED: A Deontic Theorem Prover
暂无分享,去创建一个
Guido Governatori | Paola Cattabriga | Alberto Artosi | G. Governatori | A. Artosi | Paola Cattabriga
[1] Patrice Enjalbert,et al. Modal Resolution in Clausal Form , 1989, Theor. Comput. Sci..
[2] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[3] Marta Cialdea,et al. Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic , 1986, Inf. Process. Lett..
[4] James E. Tomberlin,et al. Introduction to deontic logic and the theory of normative systems , 1991 .
[5] G. Governatori,et al. Labelled modal proofs , 1993 .
[6] J. Monk,et al. Unprovability of Consistency , 1976 .
[7] L. Thorne McCarty,et al. Permissions and Obligations , 1983, IJCAI.
[8] M. Belzer. Legal reasoning in 3-D , 1987, ICAIL '87.
[9] Peter Jackson,et al. A General Proof Method for Modal Predicate Logic without the Barcan Formula , 1988, AAAI.
[10] L. Fariñas-del-Cerro,et al. Resolution modal logics , 1989 .
[11] Hans Jürgen Ohlbach,et al. Semantics-Based Translation Methods for Modal Logics , 1991, J. Log. Comput..
[12] Hans Jürgen Ohlbach,et al. Translation Methods for Non-Classical Logics: An Overview , 1993, Log. J. IGPL.
[13] James P. Delgrande,et al. Tableau-Based Theorem Proving In Normal Conditional Logics , 1988, AAAI.
[14] Luis Fariñas del Cerro,et al. Linear Modal Deductions , 1988, CADE.
[15] Ian P. Gent. Theory matrices (for modal logics) using alphabetical monotonicity , 1993, Stud Logica.
[16] Graham Wrightson,et al. Nonclassical Logic Theorem Proving , 1985, J. Autom. Reason..
[17] Richard E. Susskind,et al. Expert Systems in Law: A Jurisprudential Inquiry , 1988 .
[18] Melvin Fitting. Tableau methods of proof for modal logics , 1972, Notre Dame J. Formal Log..
[19] Patrice Enjalbert,et al. Modal Theorem Proving: An Equational Viewpoint , 1989, IJCAI.
[20] Pierre Wolper,et al. The tableau method for temporal logic: an overview , 1985 .
[21] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[22] Hans Jürgen Ohlbach,et al. A Resolution Calculus for Modal Logics , 1988, CADE.
[23] Hans Jürgen Ohlbach. New Ways for Developing Proof Theories for First-Order Multi Modal Logics , 1990, CSL.
[24] Bangs L. Tapscott. A simplified natural deduction approach to certain modal systems , 1987, Notre Dame J. Formal Log..