Keyword:tableau methods

Publications
First-Order Tableaux with Unification for Henkin Quantifiers Matthias Baaz, Mariami Gamsakhurdia, Anela Lolic and Stella Mahler In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
STLSat — An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas Marco Zamponi, Florian Lammel, Ezio Bartocci and Michele Chiari In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning