Announcement as effort on topological spaces

2019

Hans van Ditmarsch, Sophia Knight, Aybüke Özgün

Synthese 196 (7)

Jaakko Hintikka on knowledge and game-theoretical semantics

2018

Hans van Ditmarsch, Paul-Gabriel Sandu (eds)

Berlin, Springer

Playing cards with Hintikka

an introduction to dynamic epistemic logic

2018

Hans van Ditmarsch, Barteld Kooi

in: Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin,

True lies

2018

Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang

Synthese 195 (10)

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

2017

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch

Synthese 194 (7)

Dynamics of lying

2014

Hans van Ditmarsch

Synthese 191 (5)

Introspective forgetting

2009

Hans van Ditmarsch, Andreas Herzig

Synthese 169 (2)

Knowledge, rationality & action

"Logic of change, change of logic"

2009

Hans van Ditmarsch, Brian Hill, Ondrej Majer (eds)

Synthese 171 (2)

Logic of change, change of logic

2009

Hans van Ditmarsch, Brian Hill, Ondrej Majer

Synthese 171 (2)

Comments to "logics of public communications"

2007

Hans van Ditmarsch

Synthese 158 (2)