Results 241 to 250 of about 1,741 (282)

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
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 ...
Audrey Yap, Bryan Renne, Joshua Sack
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   +4 more sources

RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES [PDF]

open access: possibleInternational 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   +1 more source

Home - About - Disclaimer - Privacy