共 9 条
- [2] A deduction theorem for normal modal propositional logic MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 107 - 115
- [7] The 0-1 law fails for frame satisfiability of propositional modal logic 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 225 - 234
- [8] KPROP - AN AND-PARALLEL THEOREM PROVER FOR PROPOSITIONAL LOGIC IMPLEMENTED IN KL1 SYSTEM ABSTRACT LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 740 - 742