4 citations · 5 across the 5 of their papers we have counts for
9 papers
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…
Reasoning about Emergence of Collective Memory
R. Ramanujam
We offer a very simple model of how collective memory may form. Agents keep signalling within neighbourhoods, and depending on how many support each signal, some signals "win" in t…
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
Ramit Das, R. Ramanujam, Sunil Simon
Whether it be in normal form games, or in fair allocations, or in voter preferences in voting systems, a certain pattern of reasoning is common. From a particular profile, an agent…
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…