Premium
Dynamic Epistemic Logic II: Logics of Information Change
Author(s) -
Pacuit Eric
Publication year - 2013
Publication title -
philosophy compass
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.973
H-Index - 25
ISSN - 1747-9991
DOI - 10.1111/phc3.12060
Subject(s) - inference , computer science , key (lock) , epistemology , rule of inference , logical reasoning , logical conjunction , epistemic modal logic , cognitive science , artificial intelligence , psychology , description logic , philosophy , computer security , multimodal logic , programming language
This is the second paper in a two‐part series introducing logics for reasoning about the dynamics of knowledge and beliefs. Part I introduced different logical systems that can be used to reason about the knowledge and beliefs of a group of agents. In this second paper, I show how to adapt these logical systems to reason about the knowledge and beliefs of a group of agents during the course of a social interaction or rational inquiry. Inference, communication and observation are typical examples of informative events, which have been subjected to a logical analysis. The main goal of this article is to introduce the key conceptual and technical issues that drive much of the research in this area.