Results 251 to 260 of about 1,884 (291)

Intensional Protocols for Dynamic Epistemic Logic

Journal of Philosophical Logic, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hanna S. van Lee, Rasmus K. Rendsvig, Suzanne van Wijk   +2 more
openaire   +3 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

Extending probabilistic dynamic epistemic logic

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

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

Dynamic epistemic logic for protocol analysis

2009
The next day, the participants in the discussion on protocol analysis reconvene. This time, they have an in-depth exchange of ideas on possible uses of epistemic logic.
van Eijck, J., Dechesne, F., Teepe, W., Wang, Y.   +3 more
openaire   +2 more sources