Dynamic epistemic logic ditmarsch pdf

Bridging learning theory and dynamic epistemic logic. Del is a dynamic version of epistemic logic, where actions and their effects can directly be described in the logic. Dynamic epistemic logic 20182019 alexandru baltags. Muddy children, other logic puzzles, and temporal dynamic. Dynamic epistemic logic is the study of modal logics of model change. Dynamic epistemic logic and lying arizona state university. A founding publication is 42 we refer to 41 for an overview of epistemic logic and references. Dynamic epistemic logic synthese library book 337 hans van ditmarsch. Unlike concurrent epistemic action logic introduced by ditmarsch, hoek and kooi van ditmarsch, h. Assessment three homework exercises worth in total 20% of the final grade, plus a final project worth 80% of the final grade. 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.

In dynamic epistemic logics 32, 23, 9, 4, 17 one does not merely describe. Short course on epistemic logic from 20160317 xixi logic. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. Epistemic logic stanford encyclopedia of philosophy. Dynamic epistemic and doxastic logics sonja smets, illc. 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 researchgate. 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. The results are compared with other work in epistemic model checking and the complexity is experimentally investigated for several representations and parameter settings. 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. Dynamic epistemic logic with communication actions. Abstract dynamic epistemic logic, broadly conceived, is the study of rational so. Dynamic epistemic logic hans van ditmarsch, wiebe van. Dynamic epistemic logic del is a logical framework dealing with knowledge and information change. Jan van eijck and hans van ditmarsch declare that they. Similar to the way epistemic models are used to capture the hard information the agents have about a xed social situation. 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.

Dynamic epistemic logics homepages of uvafnwi staff. Indicative conditionals and dynamic epistemic logic. This work proposes a dynamic epistemic logic with communication actions that can be performed concurrently. From situation calculus to dynamic epistemic logic. Graded epistemic logic is a logic for reasoning about uncertainties. The term dynamic epistemic logics del was coined to designate the family of such logics having event models.

Reasoning about actions, situation calculus, frame problem, successor state axioms, knowledge representation and reasoning, dynamic epistemic logic. Consider a system of dynamic epistemic logic that extends the language of propositional modal logic with formulas of the form. Handbook of epistemic logic paperback february 5, 2015. Hintikka carefully introduces and discusses the required semantic properties of the knowledge and belief modalities. Dynamic epistemic logic 201516, illc, university of amsterdam very important note. Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. Vardi, reasoning about knowledge, mit press, cambridge ma 1995. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be. These events can change factual properties of the actual world they are called ontic events. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic.

Johan van benthem, hans van ditmarsch, jan van eijck, and jan jaspars. Baltag, moss, and solecki 1999 available online pdf. The seminal treatise on nondynamic epistemic logic is the book knowledge and belief by hintikka 1962. 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 hans van ditmarsch springer. 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 dynamic epistemic logic with assignment barteld. Jan van eijck and hans van ditmarsch dynamic epistemic logic course material. 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. We do so by recasting restricted basic action theories in a propositional modal logic, viz. Pdf dynamic epistemic logic download full pdf book. Pdf concurrent dynamic epistemic logic for mas hans.

Kooi, concurrent dynamic epistemic logic, kluwer, ed. They were further developed and studied by both philosophers parikh, stalnaker etc. An alternative to the logic of truthful public announcements is the. Epistemic logic is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions. A key feature of epistemic logic is that the information state of several agents can be represented by a kripke model. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We obtain completeness of some graded epistemic logics. Graded epistemic logic is interpreted on graded models. We briefly give an overview of dynamic epistemic logic del, mainly in semantic terms. 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. Dynamic epistemic logic stanford encyclopedia of philosophy. I the stanford encyclopedia of philosophy f epistemic logic hs15 f dynamic epistemic logic a.

University of groningen semantic results for ontic and epistemic. Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as jaakko hintikka and david lewis in the early 1960s. We start by presenting the main concepts of standard del as covered e. 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. We start from reiters solution to the frame problem in terms of successor state axioms and scherl and levesques extension to knowledge, as formulat.

Knowledge and belief are represented via the modal. Dynamic epistemic logic hans van ditmarsch, loria, cnrs universit. This book provides various logics to support such formal specifications, including proof systems. 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. It really started in 1989 with plazas logic of public announcement. Part i introduced different logical systems that can be used to reason about the. Van eijcks software demo 26 renders this theoretical success into a useful tool. We can also think of common knowledge as background knowledge describing the structure of information states. Muddy children, other logic puzzles, and temporal dynamic epistemic logic 1. We can also think of common knowledge as background knowledge describing the. We focus on the simplest of epistemic actions in del, called public announcements. Logic is the study of reasoning, formalising the way in which certain. From situation calculus to dynamic epistemic logic journal.

Concrete examples and epistemic puzzles enliven the exposition. Pdf sum and product in dynamic epistemic logic rineke. Dynamic epistemic logic is the logic of knowledge change. An introduction to logics of knowledge and belief, chapter 1 from handbook of epistemic logic arxiv. Pdf dynamic epistemic logic download full pdf book download.

Dynamic epistemic logic 20162017 alexandru baltags. Request pdf on jan 1, 2008, hans van ditmarsch and others published dynamic epistemic logic find, read and cite all the research you. As a combination of dynamic logic and epistemic logic, dynamic epistemic logic is a young field of research. Typically, del focuses on situations involving multiple agents and studies how their knowledge changes when events occur. Epistemological topics discussed include mooreparadoxical phe. The starting point of dynamic epistemic logic del is therefore the logic of knowledge. Dynamic epistemic logic internet encyclopedia of philosophy. 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. Pdf concurrent dynamic epistemic logic for mas hans van. 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. Muddy children three brilliant children go to the park to play. Dynamic epistemic logic and knowledge puzzles springerlink. Epistemic doxastic models and logics epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic logic.