Results 251 to 260 of about 3,323 (276)

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kooi, B.P.; id_orcid, Kooi, B.P.
core   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

The Surprise Examination in Dynamic Epistemic Logic

SynthÈse, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly   +2 more sources

Extending probabilistic dynamic epistemic logic

SynthÈse, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joshua Sack, Sack Joshua
exaly   +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.
Shunan He, Jiahong Guo
exaly   +2 more sources

Bridging learning theory and dynamic epistemic logic [PDF]

SynthÈse, 2009
This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit ...
Nina Gierasimczuk, Gierasimczuk Nina
exaly   +2 more sources

Dynamic Epistemic Logic

2008
Hans Van Ditmarsch, Wiebe Van Der Hoek, Barteld Kooi   +2 more
exaly   +3 more sources

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.
Raul Fervari, Fernando R. Velázquez-Quesada   +1 more
openaire   +3 more sources

Concurrent dynamic epistemic logic for MAS

Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03, 2003
When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition.
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi   +2 more
openaire   +1 more source

A Succinct Language for Dynamic Epistemic Logic

International Joint Conference on Autonomous Agents and Multiagent Systems, 2017
Dynamic epistemic logic (DEL) is an extension of modal multi-agent epistemic logic with dynamic operators. We propose a succinct version of DEL where Kripke models and event models are described succinctly. Our proposal relies on Dynamic logic of propositional assignments (DLPA): epistemic relations are described with so-called accessibility programs ...
Tristan Charrier, François Schwarzentruber   +1 more
openaire   +2 more sources