Jan van eijck and hans van ditmarsch declare that they. Jan van eijck and hans van ditmarsch dynamic epistemic logic course material. Abstract dynamic epistemic logic, broadly conceived, is the study of rational so. Johan van benthem, hans van ditmarsch, jan van eijck, and jan jaspars. Pdf dynamic epistemic logic with assignment researchgate. Dynamic epistemic logic with communication actions. Muddy children, other logic puzzles, and temporal dynamic.
Dynamic epistemic logic hans van ditmarsch springer. Dynamic epistemic logic del is a logical framework dealing with knowledge and information change. Dynamic epistemic logic and lying arizona state university. Del pronounced dell is a highly active area of applied logic that touches on topics in many areas, including formal and social epistemology, epistemic and doxastic logic, belief revision, multiagent and distributed systems, artificial intelligence, defeasible and nonmonotonic reasoning, and epistemic game theory. Pdf dynamic epistemic logic download full pdf book download. An introduction to logics of knowledge and belief, chapter 1 from handbook of epistemic logic arxiv. Dynamic epistemic logic and knowledge puzzles 47 0 1 a a b a b common knowledge formalizes what agents in a group know about each other, and about each others knowledge, and so on ad in. In dynamic epistemic logics 32, 23, 9, 4, 17 one does not merely describe.
We can also think of common knowledge as background knowledge describing the. Dynamic epistemic logic synthese library book 337 hans van ditmarsch. Epistemiclogical topics discussed include the language and semantics of basic epistemic logic, multiagent epistemic logic, combined epistemicdoxastic logic, and a glimpse of dynamic epistemic logic. Pdf concurrent dynamic epistemic logic for mas hans. Dynamic epistemic logics homepages of uvafnwi staff.
Unlike concurrent epistemic action logic introduced by ditmarsch, hoek and kooi van ditmarsch, h. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be. Epistemicdoxastic models and logics epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic logic. Pdf dynamic epistemic logic with assignment barteld.
From situation calculus to dynamic epistemic logic journal. Graded epistemic logic is interpreted on graded models. The term dynamic epistemic logics del was coined to designate the family of such logics having event models. Vardi, reasoning about knowledge, mit press, cambridge ma 1995. Bridging learning theory and dynamic epistemic logic.
Graded epistemic logic is a logic for reasoning about uncertainties. Request pdf on jan 1, 2008, hans van ditmarsch and others published dynamic epistemic logic find, read and cite all the research you need on researchgate. Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. More dynamic epistemic logic jelle gerbrandy essli course. Muddy children, other logic puzzles, and temporal dynamic epistemic logic 1. While epistemology has a long philosophical tradition dating back to ancient greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. Short course on epistemic logic from 20160317 xixi logic. Though any logic with an epistemic interpretation may be called an epistemic logic, the most widespread type of epistemic logics in use at present are modal logics. Assessment three homework exercises worth in total 20% of the final grade, plus a final project worth 80% of the final grade. Kooi, concurrent dynamic epistemic logic, kluwer, ed. Epistemological topics discussed include mooreparadoxical phe. Epistemic logic stanford encyclopedia of philosophy. They were further developed and studied by both philosophers parikh, stalnaker etc.
Dynamic epistemic and doxastic logics sonja smets, illc. We can also think of common knowledge as background knowledge describing the structure of information states. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. I the stanford encyclopedia of philosophy f epistemic logic hs15 f dynamic epistemic logic a. It really started in 1989 with plazas logic of public announcement. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. Del is a dynamic version of epistemic logic, where actions and their effects can directly be described in the logic. We briefly give an overview of dynamic epistemic logic del, mainly in semantic terms. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi.
Dynamic epistemic logic 201516, illc, university of amsterdam very important note. This book provides various logics to support such formal specifications, including proof systems. Part i introduced different logical systems that can be used to reason about the. Pdf dynamic epistemic logic download full pdf book. Dynamic epistemic logic hans van ditmarsch, wiebe van. Request pdf on jan 1, 2008, hans van ditmarsch and others published dynamic epistemic logic find, read and cite all the research you. Pdf sum and product in dynamic epistemic logic rineke. A founding publication is 42 we refer to 41 for an overview of epistemic logic and references. Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as jaakko hintikka and david lewis in the early 1960s. University of groningen semantic results for ontic and epistemic.
Del pronounced dell is a highly active area of applied logic that touches on topics in many areas, including formal and social epistemology, epistemic and doxastic logic, belief revision, multiagent and distributed systems. The results are compared with other work in epistemic model checking and the complexity is experimentally investigated for several representations and parameter settings. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature. We obtain completeness of some graded epistemic logics. Typically, del focuses on situations involving multiple agents and studies how their knowledge changes when events occur. Other examples include the modal logic of \pure provability 6, aqvists twodimensional modal logic as discussed by segerberg 18, and an epistemicdoxastic logic proposed by halpern 11. As a combination of dynamic logic and epistemic logic, dynamic epistemic logic is a young field of research. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multiagent systems. Baltag, moss, and solecki 1999 available online pdf. Knowledge and belief are represented via the modal. Concrete examples and epistemic puzzles enliven the exposition. Indicative conditionals and dynamic epistemic logic.
Dynamic epistemic logic is the study of modal logics of model change. Dynamic epistemic logic 20182019 alexandru baltags. Muddy children three brilliant children go to the park to play. Dynamic epistemic logic stanford encyclopedia of philosophy. We start from reiters solution to the frame problem in terms of successor state axioms and scherl and levesques extension to knowledge, as formulat. Dynamic epistemic logic hans van ditmarsch, loria, cnrs universit. Dynamic epistemic logic is the logic of knowledge change. Reasoning about actions, situation calculus, frame problem, successor state axioms, knowledge representation and reasoning, dynamic epistemic logic. From situation calculus to dynamic epistemic logic. Van eijcks software demo 26 renders this theoretical success into a useful tool. We focus on the simplest of epistemic actions in del, called public announcements.
Similar to the way epistemic models are used to capture the hard information the agents have about a xed social situation. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. The starting point of dynamic epistemic logic del is therefore the logic of knowledge. Logics of information change eric pacuit abstract this is the second paper in a twopart series introducing logics for reasoning about the dynamics of knowledge and beliefs. Epistemic doxastic models and logics epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic logic. Hintikka carefully introduces and discusses the required semantic properties of the knowledge and belief modalities. An alternative to the logic of truthful public announcements is the. These events can change factual properties of the actual world they are called ontic events. Consider a system of dynamic epistemic logic that extends the language of propositional modal logic with formulas of the form. Pdf concurrent dynamic epistemic logic for mas hans van. Dynamic epistemic logic 20162017 alexandru baltags. The seminal treatise on nondynamic epistemic logic is the book knowledge and belief by hintikka 1962. We start by presenting the main concepts of standard del as covered e.
We do so by recasting restricted basic action theories in a propositional modal logic, viz. This work proposes a dynamic epistemic logic with communication actions that can be performed concurrently. Dynamic epistemic logic and knowledge puzzles springerlink. Logic is the study of reasoning, formalising the way in which certain. A key feature of epistemic logic is that the information state of several agents can be represented by a kripke model. Epistemic logical topics discussed include the language and semantics of basic epistemic logic, multiagent epistemic logic, combined epistemic doxastic logic, and a glimpse of dynamic epistemic logic. Handbook of epistemic logic paperback february 5, 2015.