Keyword:decidability

Papers
The Quantified Reflection Calculus as a Modal Logic Ana de Almeida Borges and Joost J. Joosten EasyChair Preprint no. 8634
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
The Complexity of Prenex Separation Logic with One Selector Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint no. 433
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