- Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.details
|
|
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.details
|
|
(2 other versions)Multi-Dimensional Modal Logic.Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.details
|
|
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2007 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Undecidablity for arbitrary public announcement logic.Tim French & Hans van Dirmarsch - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 23-42.details
|
|
(1 other version)Undecidablity for arbitrary public announcement logic.Tim French & Hans van Dirmarsch - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 23-42.details
|
|
Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.details
|
|
(1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.details
|
|
'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.details
|
|
Group announcement logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.details
|
|
(1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.details
|
|