5 papers · 1 filter
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…
Are Bundles Good Deals for FOML?
Mo Liu, Anantha Padmanabha, R Ramanujam +1
Bundled products are often offered as good deals to customers. When we bundle quantifiers and modalities together (as in , etc.) in first-order…
Two variable fragment of Term Modal Logic
Anantha Padmanabha, R. Ramanujam
Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form $\exists y. \forall x. (…
Propositional modal logic with implicit modal quantification
Anantha Padmanabha, R Ramanujam
Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and qua…
Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over…