Handbook of logic in artificial intelligence and logic programming (vol. 1)
Relational formalisation of nonclassical logics
Relational methods in computer science
Strongly Analytic Tableaux for Normal Modal Logics
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Modal Tableaux with Propagation Rules and Structural Rules
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we present a decision procedures for modal logics with transitive models together with additionnal properties like confluence and density. These procedures are tableaux-based, and we show how to handle them in this well-known framework by generalizing usual tableaux (which are trees) to richer structures: directed acyclic graphs.