Implicit quantification for modal reasoning in large games
Bibliographic Data
| ID | 10811399 |
|---|---|
| Authors | Ramit Das (Homi Bhabha National Institute), Anantha Padmanabha (0000-0002-4265-5772, Centre National de la Recherche Scientifique), R Ramanujam (0000-0003-4922-2248, Azim Premji University, corresponding author) |
| Year | 2023 |
| Volume | 201 |
| Issue | 5 |
| Publication date | 2023-04-27 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-023-04156-9 |
| OpenAlex | W4367176431 |
| Language | EN |
| References cited | 25 |
Combinatorics · Decidability · Description logic · Dynamic logic (digital electronics) · Epistemic modal logic · Game theory · Mathematical economics · Modal · Modal logic · Multimodal logic · Programming language · Repeated game · Set (abstract data type) · Transitive relation · Undecidable problem · Computer Science · Game Theory and Applications · Game Theory and Voting Systems · Logic, Reasoning, and Knowledge · Mathematics · Theoretical Computer Science
| Citation velocity | historical |
|---|---|
| Highly cited | No |