Keyword:decidability

Publications
(Higher -Order ) Equational Unification as Logic Programming Murat Si̇nan Aygün EasyChair Preprint 15677
The Quantified Reflection Calculus as a Modal Logic Ana de Almeida Borges and Joost J. Joosten EasyChair Preprint 8634
The Complexity of Prenex Separation Logic with One Selector Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint 433
Counterfactuals Modulo Temporal Logics Bernd Finkbeiner and Julian Siber In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Polynomial Loops: Beyond Termination Marcel Hark, Florian Frohn and Jürgen Giesl In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Triguarded Fragment of First-Order Logic Sebastian Rudolph and Mantas Simkus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
BDI: A New Decidable First-order Clause Class Manuel Lamotte-Schubert and Christoph Weidenbach In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning