Sciweavers

103 search results - page 1 / 21
» Dynamic epistemic logic with assignment
Sort
View
ATAL
2005
Springer
14 years 4 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
CORR
2006
Springer
86views Education» more  CORR 2006»
13 years 11 months ago
Semantic results for ontic and epistemic change
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
Hans P. van Ditmarsch, Barteld P. Kooi
KI
2009
Springer
14 years 3 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
LORI
2009
Springer
14 years 3 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...
KR
2010
Springer
14 years 4 months ago
Characterizing Updates in Dynamic Epistemic Logic
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