Dynamic epistemic logic is the study of modal logics of model change. Chapter 2 introduces its static part, that is, epistemic logic for agents and groups of agents, a kind of modal logic with a modal operator k i for each agent i to be considered. Epistemic logic in the tradition of hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. 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 logic stanford encyclopedia of philosophy.
Logical dynamics of information and interaction by johan. Dynamic semantics is a branch of formal semantics that is concerned with. Epistemic logic, relevant alternatives, and the dynamics of. Modal logic epistemic logic eric pacuit university of maryland, college park ai. Concrete examples and epistemic puzzles enliven the exposition. 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. 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. Distributed algorithms logics of rational agency epistemic foundations of game theory. These logics find applications not only in philosophy, but also in theoretical computer science, artificial intelligence, economics, and linguistics for a survey see handbook of epistemic logic. A founding publication is 42 we refer to 41 for an overview of epistemic logic and references.
It is the focus of our contribution, but its relation to other ways to model dynamics will also be discussed in some detail. A sweeping chapterwise outline of the content of this book is the following. This is a brief introduction to the epistemic logic, and the logic of the common knowledge. Keep in mind my definitions are unsourced conjecture based off of experience and intuition, but lets dive. In this paper, we present a dynamic epistemic logic suitable for resourcebounded agents. For instance, the above features of true but selfrefuting assertions, and. Implementing multiagent systems via modal logic \beginitemize m. In recent years, dynamic epistemic logic has expanded this toolkit. This book provides various logics to support such formal specifications, including proof systems. Epistemology cognitive science philosophical logic dynamic epistemicdoxastic logic game theory cs. For example, epistemic logic has been combined recently with some ideas from dynamic logic to create dynamic epistemic logic, which can be used to specify and reason about information change and exchange of information in multiagent systems.
Knowledge and belief are represented via the modal. Del pronounced dell is a highly active area of applied logic that. Belief revision is an overview on how to model belief revision, both in the traditional way and in a dynamic epistemic setting. Dynamic epistemic logic hans van ditmarsch, wiebe van. Logical dynamics of information and interaction by johan van. This paper is the result of combining two traditions in formal logic. Dynamic lets just go with the dictionary on that one epistemic from the root word episteme which is a pressu. This article tells the story of the rise of dynamic epistemic logic. Synthese library studies in epistemology, logic, methodology, and philosophy of science, vol 354. Everyday low prices and free delivery on eligible orders. It also turns out that a logic of questions and answers, sometimes called erotetic logic after the ancient greek term.
It is multiagent because the phenomena studied in del, such as communication, usually involve more than one agent. The book presents a unified account of the resulting agenda, in terms of dynamicepistemic logic, a framework developed around 2000 by several authors. Chapters 2 through 4 expound the basic core of logical dynamics, namely, dynamic epistemic logics. Abstract we present an algebra and sequent calculus to reason about dynamic epistemic logic, a logic for information update in multiagent systems. Nov 15, 2007 epistemic logic is an overview of multiagent epistemic logic the logic of knowledge including modal operators for groups, such as general and common knowledge. This book provides various logics to support such formal specifications, including proof. Citeseerx document details isaac councill, lee giles, pradeep teregowda. Dynamic formal epistemology patrick girard springer. Dynamic epistemic logic synthese library 9781402069086.
This is an essential book for any student of the subject, written by a master of the field. Epistemic logic is an umbrella term for a variety of modal logics whose main objects of study are knowledge, belief, and related notions. Chapter logical dynamics in philosophy logical dynamics is a way of doing logic, but it is also a general stance. The first sections of this book can be used as a concise reference for part 1. Del is a dynamic version of epistemic logic, where actions and their effects can directly be described in the logic. Logical dynamics of information and interaction is at the frontiers of applied logic. Dynamic epistemic logic 20192020 alexandru baltags personal. Dynamic epistemic logic is an extension of epistemic logic with dynamic modal operators for belief change i. We start by presenting the main concepts of standard del as covered e. Typically, del focuses on situations involving multiple agents and studies how their knowledge changes when events occur.
This question has been extensively discussed in the literature on the epistemic foundations of game theory see the discussion and references in samuelson 2004 and roy and pacuit 2011 for more on this topic. Pdf reasoning about dynamic epistemic logic bob coecke. This stance is a radical break with current habits, and i hope it will gradually grow on the reader, the way it did on me. This chapter presents an overview of dynamic epistemic logic del. This book develops a view of logic as a theory of informationdriven agency and intelligent interaction between. Chapters 2 through 4 expound the basic core of logical dynamics, namely, dynamic epistemic logic s.
The information that gets exchanged can be about what is. The rise began in the 1960s with the creation and development of epistemic logic, the logic of knowledge, then in the late 1980s came dynamic epistemic logic, the logic of change of knowledge. Nov 15, 2007 dynamic epistemic logic is the logic of knowledge change. Hintikka carefully introduces and discusses the required semantic properties of the knowledge and belief modalities. Doxastic and epistemic logic bibliography philpapers. Chapter 1, introduction, explains why this book is about logic, about know. Our setting is informed by empirical evidence on deductive reasoning performance and therefore it avoids the problem of logical omniscience. Although called dynamic epistemic logic, this twosorted modal logic applies to more general settings than the logic of. This video was made taking as a basis the work of hans.
Dynamic epistemic logic by hans van ditmarsch, wiebe van. Abstract dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The term dynamic epistemic logics del was coined to designate the family of such logics having event models. Groeneveld characterizes del as being dynamic, multiagent, and higher order.
It is multiagent because the phenomena studied in del, such as. Epistemological topics discussed include mooreparadoxical phenomena, the surprise exam paradox, logical omniscience and epistemic clo. The quality of the papers included in the book is generally good, and it contains several novel ideas and results that will no doubt be of interest to researchers working in the field. Dynamic epistemic logic 20182019 alexandru baltags. This is not about one logical system, but about a whole family of logics that allows us to specify static and. Epistemic logic stanford encyclopedia of philosophy.
The graduate textbookmonograph dynamic epistemic logic. The seminal works in this field are by plaza, van benthem, and baltag, moss, and solecki. Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. Dynamic epistemic logic del is a logical framework dealing with knowledge and information change. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature. Dynamic epistemic logic hans van ditmarsch springer. It is dynamic since its focus is on information change. 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. Dynamic epistemic logic deals with the issue of representing from a logical point of view the beliefs of several agents about a given situation and how these beliefs change over time as new. Pdf dynamic epistemic logic download full pdf book download.
Epistemic logic is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions. Dynamic epistemic logic guide books acm digital library. Dynamic epistemic logic synthese library book 337 ebook. The application of logical techniques to the study of knowledge or knowledge claims is called epistemic logic. Dynamic epistemic logic is the logic of knowledge change. Dynamic epistemic logic 20162017 alexandru baltags. Dynamic epistemic logic internet encyclopedia of philosophy. Dynamic epistemic logic del is the study of how to reason about knowledge, belief, and. A concise overview of epistemic logic, belief revision, and dynamic epistemic logic can be found in hendricks and symons 2009. Pdf dynamic epistemic logic download full pdf book. An introduction to multiagent systems, john wiley and sons. We contribute to it by equipping it with a logical account of resources, a semiautomatic way of.
The seminal treatise on nondynamic epistemic logic is the book knowledge and belief by hintikka 1962. A more recent development is called dynamic epistemic logic. For a discussion of the bridge between epistemic logic and mainstream epistemology, see hendricks and symons 2006. The field encompasses epistemological concepts such as knowledge, belief, memory, information, and perception. Nov 14, 2016 this is a brief introduction to the epistemic logic, and the logic of the common knowledge.
12 245 931 620 1633 656 1565 1507 377 1070 1170 389 1667 599 1249 95 947 758 1388 1486 629 1155 1184 1097 1016 1196 1166 247 909 236 358 1365 532