7 citations · 19 across the 9 of their papers we have counts for
11 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…
Deviator Detection under Imperfect Monitoring
Dietmar Berwanger, R. Ramanujam
Grim-trigger strategies are a fundamental mechanism for sustaining equilibria in iterated games: the players cooperate along an agreed path, and as soon as one player deviates, the…
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…
A Retraction Theorem for Distributed Synthesis
Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam
We present a general theorem for distributed synthesis problems in coordination games with -regular objectives of the form: If there exists a winning strategy for the coalition,…
A Local Logic for Realizability in Web Service Choreographies
R. Ramanujam, S. Sheerazuddin
Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does the…
Imitation in Large Games
Soumya Paul, R. Ramanujam
In games with a large number of players where players may have overlapping objectives, the analysis of stable outcomes typically depends on player types. A special case is when a l…