What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
A New Space Bound for the Modal Logics K4, KD4 and S4
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Verification within the KARO Agent Theory
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Tractable Transformations from Modal Provability Logics into First-Order Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Clausal resolution for normal modal logics
Journal of Algorithms
Admissibility of Cut in Coalgebraic Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Proof theory of Nelson's paraconsistent logic: A uniform perspective
Theoretical Computer Science
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Constructing the Least Models for Positive Modal Logic Programs
Fundamenta Informaticae
On Definitional Transformations To Normal Form For Intuitionistic Logic
Fundamenta Informaticae
| Hi-index | 0.00 |