Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions

Alessandro Artale, Christopher Hampson, Roman Kontchakov +2

While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at mo…