Modal tableaux with propagation rules and structural rules
Fundamenta Informaticae
Tableaux based decision procedures for modal logics of confluence and density
Fundamenta Informaticae
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
LoTREC: logical tableaux research engineering companion
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |