Semantics-Based Translation Methods for Modal Logics
暂无分享,去创建一个
[1] Wolfgang Bibel,et al. Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.
[2] Peter Jackson,et al. A General Proof Method for First-Order Modal Logic , 1987, IJCAI.
[3] Wolfgang Bibel,et al. On Matrices with Connections , 1981, JACM.
[4] Jacques Loeckx,et al. The Foundations of Program Verification , 1987 .
[5] M. Schmidt-Schauβ. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989 .
[6] Peter B. Andrews. Theorem Proving via General Matings , 1981, JACM.
[7] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[8] R. Smullyan. First-Order Logic , 1968 .
[9] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.
[10] L. Wos,et al. Paramodulation and Theorem-Proving in First-Order Theories with Equality , 1983 .
[11] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[12] Jörg H. Siekmann. Unification Theory , 1989, J. Symb. Comput..
[13] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[14] W. W. Bledsoe,et al. A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness , 1970, JACM.
[15] Lincoln A. Wallen. Matrix Proof Methods for Modal Logics , 1987, IJCAI.
[16] A. Suzuki,et al. Automatic theorem proving for modal predicate logic , 1984 .
[17] Christoph Walther,et al. A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.
[18] Jörg H. Siekmann,et al. The Markgraf Karl Refutation Procedure , 1980, IJCAI.
[19] George Gratzer,et al. Universal Algebra , 1979 .
[20] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[21] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[22] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[23] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[24] Hans Jürgen Ohlbach,et al. A Resolution Calculus for Modal Logics , 1988, CADE.
[25] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[26] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.