Concurrent Dynamic Epistemic Logic (2003)

Cached

Download Links

by H.P. van Ditmarsch , W. van der Hoek , B.P. Kooi
Citations:111 - 21 self

Active Bibliography

1 Playing Cards with Hintikka - An Introduction to Dynamic Epistemic Logic – Hans Van Ditmarsch, Wiebe van der Hoek, Barteld Kooi - 2004
14 Descriptions of game actions – H. P. Van Ditmarsch - 2002
1 A Survey of Dynamic Epistemic Logic – Bryan Renne - 2008
3 Semantic results for ontic and epistemic change – Hans Ditmarsch, Barteld Kooi
9 Semantic Results for Ontic and Epistemic Change – Hans Van Ditmarsch, Barteld Kooi, Université Paul Sabatier, Faculteit Wijsbegeerte
4 On the Logic of Lying – Hans Van Ditmarsch, Jan Van Eijck, Floor Sietsma, Yanjing Wang - 2007
11 Epistemic Logic: A Survey – Wiebe van der Hoek, Rineke Verbrugge - 2002
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
19 Epistemic actions as resources – Ru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh - 2007
1 Comments to ‘Logics of Public Communications’ – Hans P. Van Ditmarsch
7 Logic and Game Theory of Pit – Hans Van Ditmarsch - 2004
2 Epistemic equivalence and bisimulation – Jelle Gerbrandy
8 Dynamic Epistemic Logic with Justification – Bryan Renne, Theodore Brown, Executive Officer, Alexandru Baltag, Melvin Fitting, Rohit Parikh, Bryan Renne, Adviser Professor, Sergei Artemov - 2008
Epistemic Actions And Minimal Models – G.R. Renardel de Lavalette, H.P. van Ditmarsch - 2002
Modelling Informative Actions – Jan Van Eijck
10 DEMO -- A Demo of Epistemic Modelling – Jan van Eijck - 2007
46 A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games – Alexandru Baltag - 2000