Dynamic epistemic logic ditmarsch pdf

They were further developed and studied by both philosophers parikh, stalnaker etc. Dynamic epistemic logic is the study of modal logics of model change. Hintikka carefully introduces and discusses the required semantic properties of the knowledge and belief modalities. Epistemic logic stanford encyclopedia of philosophy. Kooi, concurrent dynamic epistemic logic, kluwer, ed. Jan van eijck and hans van ditmarsch dynamic epistemic logic course material. Dynamic epistemic logic 201516, illc, university of amsterdam very important note. A key feature of epistemic logic is that the information state of several agents can be represented by a kripke model. This work proposes a dynamic epistemic logic with communication actions that can be performed concurrently. Handbook of epistemic logic paperback february 5, 2015. From situation calculus to dynamic epistemic logic journal. 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 focus on the simplest of epistemic actions in del, called public announcements. Reasoning about actions, situation calculus, frame problem, successor state axioms, knowledge representation and reasoning, dynamic epistemic logic.

Concrete examples and epistemic puzzles enliven the exposition. 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. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. Van eijcks software demo 26 renders this theoretical success into a useful tool. 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 synthese library book 337 hans van ditmarsch. 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. Jan van eijck and hans van ditmarsch declare that they. We start by presenting the main concepts of standard del as covered e. Indicative conditionals and dynamic epistemic logic. Dynamic epistemic logic hans van ditmarsch, wiebe van. Dynamic epistemic logic internet encyclopedia of philosophy. Pdf concurrent dynamic epistemic logic for mas hans van.

Logic is the study of reasoning, formalising the way in which certain. Vardi, reasoning about knowledge, mit press, cambridge ma 1995. Dynamic epistemic logic 20182019 alexandru baltags. Knowledge and belief are represented via the modal. These events can change factual properties of the actual world they are called ontic events. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be. Assessment three homework exercises worth in total 20% of the final grade, plus a final project worth 80% of the final grade.

Dynamic epistemic logic 20162017 alexandru baltags. Johan van benthem, hans van ditmarsch, jan van eijck, and jan jaspars. An alternative to the logic of truthful public announcements is the. Dynamic epistemic logic stanford encyclopedia of philosophy. Epistemic doxastic models and logics epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic logic. Dynamic epistemic logic del is a logical framework dealing with knowledge and information change. Epistemic logic is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions. We can also think of common knowledge as background knowledge describing the.

Muddy children three brilliant children go to the park to play. More dynamic epistemic logic jelle gerbrandy essli course. Dynamic epistemic logic is the logic of knowledge change. Dynamic epistemic logic and knowledge puzzles springerlink. 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. Graded epistemic logic is interpreted on graded models. Dynamic epistemic logic hans van ditmarsch, loria, cnrs universit. Unlike concurrent epistemic action logic introduced by ditmarsch, hoek and kooi van ditmarsch, h. Pdf sum and product in dynamic epistemic logic rineke. 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. Pdf dynamic epistemic logic with assignment researchgate.

It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature. Pdf concurrent dynamic epistemic logic for mas hans. As a combination of dynamic logic and epistemic logic, dynamic epistemic logic is a young field of research. Epistemological topics discussed include mooreparadoxical phe. We briefly give an overview of dynamic epistemic logic del, mainly in semantic terms. 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. Request pdf on jan 1, 2008, hans van ditmarsch and others published dynamic epistemic logic find, read and cite all the research you. Dynamic epistemic logic hans van ditmarsch springer. Short course on epistemic logic from 20160317 xixi logic. Baltag, moss, and solecki 1999 available online pdf. Dynamic epistemic logics homepages of uvafnwi staff.

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. Pdf dynamic epistemic logic with assignment barteld. Del is a dynamic version of epistemic logic, where actions and their effects can directly be described in the logic. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. It really started in 1989 with plazas logic of public announcement.

The term dynamic epistemic logics del was coined to designate the family of such logics having event models. 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. The seminal treatise on nondynamic epistemic logic is the book knowledge and belief by hintikka 1962. University of groningen semantic results for ontic and epistemic. Graded epistemic logic is a logic for reasoning about uncertainties. We can also think of common knowledge as background knowledge describing the structure of information states. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. Dynamic epistemic logic with communication actions. Muddy children, other logic puzzles, and temporal dynamic. Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as jaakko hintikka and david lewis in the early 1960s.

Dynamic epistemic logic and lying arizona state university. I the stanford encyclopedia of philosophy f epistemic logic hs15 f dynamic epistemic logic a. 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. Epistemicdoxastic models and logics epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic 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. This book provides various logics to support such formal specifications, including proof systems. We do so by recasting restricted basic action theories in a propositional modal logic, viz. Muddy children, other logic puzzles, and temporal dynamic epistemic logic 1.

Abstract dynamic epistemic logic, broadly conceived, is the study of rational so. Pdf dynamic epistemic logic download full pdf book download. Consider a system of dynamic epistemic logic that extends the language of propositional modal logic with formulas of the form. 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. Typically, del focuses on situations involving multiple agents and studies how their knowledge changes when events occur. The results are compared with other work in epistemic model checking and the complexity is experimentally investigated for several representations and parameter settings. 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. Bridging learning theory and dynamic epistemic logic. Similar to the way epistemic models are used to capture the hard information the agents have about a xed social situation.