Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Modal Satisfiability Is in Deterministic Linear Space
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Clausal Tableaux for Multimodal Logics of Belief
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
Hi-index | 0.00 |