[HTML][HTML] Dynamic term-modal logics for first-order epistemic planning
AO Liberman, A Achen, RK Rendsvig - Artificial Intelligence, 2020 - Elsevier
Many classical planning frameworks are built on first-order languages. The first-order
expressive power is desirable for compactly representing actions via schemas, and for …
expressive power is desirable for compactly representing actions via schemas, and for …
Are bundles good deals for first-order modal logic?
M Liu, A Padmanabha, R Ramanujam… - Information and …, 2023 - Elsevier
Bundled products are often offered as good deals to customers. In first-order modal logic
(FOML), when we bundle quantifiers and modalities together (as in∃ x□,◇∀ x, etc.), we …
(FOML), when we bundle quantifiers and modalities together (as in∃ x□,◇∀ x, etc.), we …
A decidable fragment of first order modal logic: two variable term modal logic
A Padmanabha, R Ramanujam - ACM Transactions on Computational …, 2023 - dl.acm.org
First order modal logic (𝖥𝖮𝖬𝖫) is built by extending First Order Logic (𝖥𝖮) with modal
operators. A typical formula is of the form. Not only is 𝖥𝖮𝖬𝖫 undecidable, even simple …
operators. A typical formula is of the form. Not only is 𝖥𝖮𝖬𝖫 undecidable, even simple …
Reasoning in large games with unboundedly many players
In large anonymous games, payoffs are determined by strategy distributions rather than
strategy profiles. If half the players choose a strategy a, all of them get a certain payoff …
strategy profiles. If half the players choose a strategy a, all of them get a certain payoff …
Implicit quantification for modal reasoning in large games
Abstract Reasoning about equilibria in normal form games involves the study of players'
incentives to deviate unilaterally from any profile. In the case of large anonymous games, the …
incentives to deviate unilaterally from any profile. In the case of large anonymous games, the …
A Logical Study of the Improvement Graphs formed from Games [HBNI Th234]
R Das - 2023 - imsc.res.in
This work is about analysing reasoning about games-specially the social network games,
polymatrix games, priority separable games and large games. Towards the reasoning we …
polymatrix games, priority separable games and large games. Towards the reasoning we …
[PDF][PDF] Relative expressive powers of first order modal logic and term modal logic
A Padmanabha - ICLA 2021 Proceedings, 2021 - rucforsk.ruc.dk
Abstract First Order Modal logic (FOML) is a natural language to reason about modal
properties of predicates. In FOML, an example formula would be∀ x∃ y 2 (Q (x, y)). Term …
properties of predicates. In FOML, an example formula would be∀ x∃ y 2 (Q (x, y)). Term …