Results 241 to 250 of about 1,884 (291)

Reasoning about Dynamic Epistemic Logic

open access: yes, 2004
Baltag, Alexandru   +2 more
openaire   +1 more source

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

Home - About - Disclaimer - Privacy