Keyword:decision procedures

Publications
Two-variable First-Order Logic with Counting in Forests Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann and Piotr Witkowski In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Comparison of Solvers for Propositional Dynamic Logic Ullrich Hustadt and Renate A. Schmidt In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
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