论文信息 - The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories

The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories

This paper is concerned with the computational complexity of the following problems for various modal logics L: (1). The L-deducibility problem: given a finite set of formulas S and a formula A, determine if A is in the modal theory T HL(S) formed with all theorems of the modal logic L as logical axioms and with all members of S as proper axioms. (2). The L-consistency problem: given a finite set of formulas S, determine if the theory THL(S) is consistent.

I-Peng Lin | Cheng-Chia Chen | I. Lin | Cheng-Chia Chen

[1] Grigori F. Shvarts. Autoepistemic Modal Logics , 1990, TARK.

[2] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[3] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .

[4] Ewa Żarnecka-Biaŀy,et al. A note on deduction theorem for Gödel's propositional calculus G4 , 1968 .

[5] Drew McDermott,et al. Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[6] Michael Kaminski,et al. Nonmonotonic default modal logics , 1990, JACM.

[7] Neil Immerman,et al. Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse , 1987, Inf. Process. Lett..

[8] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[9] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[10] Joseph Y. Halpern,et al. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[11] Richard E. Ladner,et al. The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[12] Joseph Y. Halpern,et al. Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.

[13] Heikki Tuominen,et al. Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic , 1990, CADE.