Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Automating Inductive Specification Proofs
Fundamenta Informaticae
Hi-index | 0.00 |