Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Prolegomena to Dynamic Logic for Belief Revision.P. Van Ditmarsch Hans - 2005 - Synthese 147 (2):229-275.
Epistemic Logic and Epistemology: The State of Their Affairs.van Benthem Johan - 2006 - Philosophical Studies 128 (1):49 - 76.
Distributed Knowledge.Floris Roelofsen - 2007 - Journal of Applied Non-Classical Logics 17 (2):255-273.
What Will They Say?—Public Announcement Games.Ågotnes Thomas & Ditmarsch Hans van - 2011 - Synthese 179 (S1):57 - 85.
Similar books and articles
Merging Frameworks for Interaction.van Benthem Johan, Gerbrandy Jelle, Hoshi Tomohiro & Pacuit Eric - 2009 - Journal of Philosophical Logic 38 (5):491-526.
Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision.Jan van Eijck - unknown
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Added to index2010-12-22
Total downloads37 ( #137,489 of 2,158,398 )
Recent downloads (6 months)2 ( #194,528 of 2,158,398 )
How can I increase my downloads?