Keyword:Henkin quantifiers

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