4 citations · 5 across the 5 of their papers we have counts for
5 papers · 1 filter
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…
Proceedings of the Ninth Workshop on Methods for Modalities
Sujata Ghosh, R. Ramanujam
Methods for Modalities is a series aimed at bringing together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. H…