Active Bibliography

8 Reducing dynamic epistemic logic to PDL by program transformation. SEN-E0423 – Jan Van Eijck - 2004
Analyzing Communication with Dynamic Epistemic Logic – Jan Van Eijck - 2006
DEMO — A Demo of Epistemic Modelling – unknown authors - 2006
10 DEMO -- A Demo of Epistemic Modelling – Jan van Eijck - 2007
Chapter 1 On the Logic of Lying – Hans Van Ditmarsch, Jan Van Eijck, Floor Sietsma, Yanjing Wang, Hans Van Ditmarsch, Floor Sietsma, Yanjing Wang
1 2 – Jan Van Eijck, Ji Ruan - 2004
1 2 – Jan Van Eijck, Ji Ruan - 2004
19 Exploring the update universe – Ji Ruan - 2004
Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision – Jan van Eijck - 2008
5 Propositional Dynamic Logic as a Logic of Belief Revision and Preference Change – Jan van Eijck - 2009
4 Yet More Modal Logics of Preference Change and Belief Revision – Jan Van Eijck
unknown title – Dynamic Epistemic Modelling, Jan Van Eijck
4 On the Logic of Lying – Hans Van Ditmarsch, Jan Van Eijck, Floor Sietsma, Yanjing Wang - 2007
19 Epistemic actions as resources – Ru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh - 2007
3 Semantic results for ontic and epistemic change – Hans Ditmarsch, Barteld Kooi
Modelling Informative Actions – Jan Van Eijck
30 Expressivity and completeness for public update logic via reduction axioms – Barteld Kooi
17 The tree of knowledge in action: Towards a common perspective – Johan Van Benthem, Eric Pacuit - 2006
4 Generalized Arrow Update Logic – Barteld Kooi, Bryan Renne