A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property

Varad Joshi, Anantha Padmanabha

The satisfiability problem for First-order Modal Logic (\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to…