First-Order Modal Logic Theorem Proving and Functional Simulation
暂无分享,去创建一个
[1] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[2] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[3] Krister Segerberg,et al. An essay in classical modal logic , 1971 .
[4] Krister Segerberg,et al. An Introduction to Modal Logic , 1977 .
[5] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[6] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[7] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[8] Lincoln A. Wallen. Matrix Proof Methods for Modal Logics , 1987, IJCAI.
[9] Hans Jürgen Ohlbach,et al. A Resolution Calculus for Modal Logics , 1988, CADE.
[10] Patrice Enjalbert,et al. Modal Theorem Proving: An Equational Viewpoint , 1989, IJCAI.
[11] Hans Jürgen Ohlbach,et al. Semantics-Based Translation Methods for Modal Logics , 1991, J. Log. Comput..
[12] Andreas Nonnengart. First-order modal logic theorem proving and standard PROLOG , 1992 .