Hans van Ditmarsch

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enli...

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enli...

A cura di Hans van Ditmarsch a cura di Joseph Y Halpern a cura di Wiebe van der Hoek

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge los

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge los

Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings a cura di Hans van Ditmarsch a cura di Jerome Lang a cura di Shier Ju

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on