Game description language and dynamic epistemic logic compared

, , &
Artificial Intelligence 292 (C):103433 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2020.103433

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logical-Epistemic Foundations of General Game Descriptions.Ji Ruan & Michael Thielscher - 2014 - Studia Logica 102 (2):321-338.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
A Multi-type Display Calculus for Dynamic Epistemic Logic.Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano & Vlasta Sikimić - 2016 - Journal of Logic and Computation 6 (26):2017–2065.
Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 363-394.
Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Outstanding Contributions to Logic: Jaakko Hintikka. Springer.
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Reasoning About Games.Melvin Fitting - 2011 - Studia Logica 99 (1-3):143-169.
Finite identification from the viewpoint of epistemic update.Cédric Dégremont & Nina Gierasimczuk - 2011 - Information And Computation 209 (3):383-396.
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.

Analytics

Added to PP
2020-12-22

Downloads
23 (#666,649)

6 months
15 (#159,128)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.

Add more references