Characterizing Updates in Dynamic Epistemic Logic

13 years 9 months ago

Download aucher.gforge.uni.lu

Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:

Guillaume Aucher

Real-time Traffic

Automated Reasoning | Dynamic Epistemic Logic | Dynamic Setting | KR 2010 | Uniform Way Statements |

claim paper

» Dynamic Epistemic Temporal Logic

» The Algebra of MultiAgent Dynamic Belief Revision

» Strategic Ability Update A Modal Logic Account

» Coalgebraic Epistemic Update Without Change of Model

» Logic for update products and steps into the past

» Conditional Doxastic Models A Qualitative Approach to Dynamic Belief Revision

» Common knowledge in update logics

» Sum and Product in Dynamic Epistemic Logic

Post Info
More Details (n/a)

Added	19 Jul 2010
Updated	19 Jul 2010
Type	Conference
Year	2010
Where	KR
Authors	Guillaume Aucher

Comments (0)

Sciweavers

Characterizing Updates in Dynamic Epistemic Logic

Automated Reasoning | Dynamic Epistemic Logic | Dynamic Setting | KR 2010 | Uniform Way Statements |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers