Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
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
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Connections in nonclassical logics
Handbook of automated reasoning
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Hybrid Tableaux for the Difference Modality
Electronic Notes in Theoretical Computer Science (ENTCS)
Prefixed tableaux systems for modal logics with enriched languages
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Natural deduction and context as (constructive) modality
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
Fundamenta Informaticae
Modal Tableaux with Propagation Rules and Structural Rules
Fundamenta Informaticae
Labeled sequent calculi for modal logics and implicit contractions
Archive for Mathematical Logic
Hi-index | 0.00 |