Results 241 to 250 of about 77,232 (273)

The Surprise Examination in Dynamic Epistemic Logic

Synthese, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Dynamic Epistemic Temporal Logic

2009
We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed that standard Dynamic Epistemic Logic necessarily ...
Renne, B., Sack, Joshua, Yap, Audrey
openaire   +2 more sources

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Dynamic Epistemic Logic

2011
What is knowledge? How can we acquire knowledge? When can we say that we know something? Do we know that we know something? Those are the issues that puzzled Chinese philosophers about 2000 years ago, witness a famous dialogue below between Zhuangzi (approx.369–286 BC) from the Daoism School and Huizi (390–317 BC) from the School of Names: One day ...
openaire   +3 more sources

Games in Dynamic‐Epistemic Logic

Bulletin of Economic Research, 2001
The author discusses games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. Matching logical languages are proposed for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic‐epistemic ...
openaire   +3 more sources

Private Dynamic Epistemic Friendship Logic

2014 Brazilian Conference on Intelligent Systems, 2014
Recent works have proposed to model social conceptions of rationality (in contraposition to individual rationality) by means of a logic of community. In [11], the authors have defined a logic of friendship to model social relationship as those contained in social networks.
Henrique Viana, Arnaldo Araujo, Lucas Leite, Joao Alcantara   +3 more
openaire   +1 more source

RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES [PDF]

International Game Theory Review, 2007
Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games.
openaire   +3 more sources

Dynamic Epistemic Logics of Introspection

2018
This work studies positive and negative introspection not as properties, but rather as actions that change the agent’s knowledge. The actions are introduced as model update operations, with matching modalities expressing their effects. Sound and complete axiom systems are provided, and some properties are explored.
Fervari, R., Velázquez-Quesada, F.R.
openaire   +3 more sources

Dynamic epistemic logic with topological semantics

2016 3rd International Conference on Systems and Informatics (ICSAI), 2016
In this article we present dynamic epistemic logic in the content of topological semantics. Dynamic epistemic logic is a brunch of modern logic which close related to computer science. We show that the DEL under topological semantics is of highly similarity with that DEL under relational semantics.
He Shunan, Guo Jiahong
openaire   +1 more source

Overview of Dynamic Epistemic Logic

2015
This is a gentle introduction to so-called dynamic epistemic logics that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of agents holding playing cards; and, mainly for the purpose of motivating the dynamics, we also briefly introduce the concepts of shared and ...
Hans van Ditmarsch, Barteld Kooi
openaire   +1 more source