Keyword:tableaux

Papers
A One-Pass Tree-Shaped Tableau for LTL+Past Nicola Gigante, Angelo Montanari and Mark Reynolds In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Metis-based Paramodulation Tactic for HOL Light Michael Färber and Cezary Kaliszyk In:GCAI 2015. Global Conference on Artificial Intelligence
Extended Resolution as Certificates for Propositional Logic Chantal Keller In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction Chad Brown and Christine Rizkallah In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus Guido Fiorino In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning