Dynamic epistemic logic book

Epistemic logic stanford encyclopedia of philosophy. We contribute to it by equipping it with a logical account of resources, a semiautomatic way of. In recent years, dynamic epistemic logic has expanded this toolkit. Typically, del focuses on situations involving multiple agents and studies how their knowledge changes when events occur. 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 hans van ditmarsch springer. Dynamic epistemic logic del is the study of how to reason about knowledge, belief, and. Distributed algorithms logics of rational agency epistemic foundations of game theory. The information that gets exchanged can be about what is. It also turns out that a logic of questions and answers, sometimes called erotetic logic after the ancient greek term. We start by presenting the main concepts of standard del as covered e. Modal logic epistemic logic eric pacuit university of maryland, college park ai. Pdf dynamic epistemic logic download full pdf book download. Dynamic epistemic logic is an extension of epistemic logic with dynamic modal operators for belief change i. Logical dynamics of information and interaction by johan. This is not about one logical system, but about a whole family of logics that allows us to specify static and. In this paper, we present a dynamic epistemic logic suitable for resourcebounded agents. 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.

Chapter 1, introduction, explains why this book is about logic, about know. The starting point of dynamic epistemic logic del is therefore the logic of knowledge. This article tells the story of the rise of dynamic epistemic logic. 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. Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. For instance, the above features of true but selfrefuting assertions, and. Keep in mind my definitions are unsourced conjecture based off of experience and intuition, but lets dive. Dynamic epistemic logic guide books acm digital library. Dynamic epistemic logic del is a logical framework dealing with knowledge and information change. 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. Dynamic epistemic logic is the logic of knowledge change. Concrete examples and epistemic puzzles enliven the exposition. Logical dynamics of information and interaction by johan van. Our setting is informed by empirical evidence on deductive reasoning performance and therefore it avoids the problem of logical omniscience.

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. The seminal treatise on nondynamic epistemic logic is the book knowledge and belief by hintikka 1962. The application of logical techniques to the study of knowledge or knowledge claims is called epistemic logic. Pdf reasoning about dynamic epistemic logic bob coecke. Dynamic epistemic logic synthese library book 337 ebook. 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. Dynamic epistemic logic hans van ditmarsch, wiebe van. The seminal works in this field are by plaza, van benthem, and baltag, moss, and solecki. The field encompasses epistemological concepts such as knowledge, belief, memory, information, and perception.

Chapters 2 through 4 expound the basic core of logical dynamics, namely, dynamic epistemic logic s. A more recent development is called dynamic epistemic logic. Groeneveld characterizes del as being dynamic, multiagent, and higher order. Epistemology cognitive science philosophical logic dynamic epistemicdoxastic logic game theory cs. The term dynamic epistemic logics del was coined to designate the family of such logics having event models. Dynamic epistemic logic synthese library 9781402069086. The first sections of this book can be used as a concise reference for part 1. Dynamic epistemic logic by hans van ditmarsch, wiebe 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.

It is dynamic since its focus is on information change. Epistemic logic is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions. Hintikka carefully introduces and discusses the required semantic properties of the knowledge and belief modalities. It is multiagent because the phenomena studied in del, such as communication, usually involve more than one agent. Chapter logical dynamics in philosophy logical dynamics is a way of doing logic, but it is also a general stance. Dynamic lets just go with the dictionary on that one epistemic from the root word episteme which is a pressu. Dynamic epistemic logic 20182019 alexandru baltags. 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. Although called dynamic epistemic logic, this twosorted modal logic applies to more general settings than the logic of.

Logical dynamics of information and interaction is at the frontiers of applied logic. The graduate textbookmonograph dynamic epistemic logic. Abstract we present an algebra and sequent calculus to reason about dynamic epistemic logic, a logic for information update in multiagent systems. Epistemological topics discussed include mooreparadoxical phenomena, the surprise exam paradox, logical omniscience and epistemic clo. Belief revision is an overview on how to model belief revision, both in the traditional way and in a dynamic epistemic setting. Citeseerx document details isaac councill, lee giles, pradeep teregowda. An introduction to multiagent systems, john wiley and sons.

Dynamic epistemic logic internet encyclopedia of philosophy. It is multiagent because the phenomena studied in del, such as. This chapter presents an overview of dynamic epistemic logic del. Knowledge and belief are represented via the modal. This is a brief introduction to the epistemic logic, and the logic of the common knowledge. Synthese library studies in epistemology, logic, methodology, and philosophy of science, vol 354. 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. This is an essential book for any student of the subject, written by a master of the field. Epistemic modal logic wikimili, the free encyclopedia. Dynamic semantics is a branch of formal semantics that is concerned with. For a discussion of the bridge between epistemic logic and mainstream epistemology, see hendricks and symons 2006. Dynamic epistemic logic stanford encyclopedia of philosophy.

This video was made taking as a basis the work of hans. 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. 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. It is the focus of our contribution, but its relation to other ways to model dynamics will also be discussed in some detail. Epistemic logic, relevant alternatives, and the dynamics of.

This paper is the result of combining two traditions in formal logic. Everyday low prices and free delivery on eligible orders. Dynamic formal epistemology patrick girard springer. Del pronounced dell is a highly active area of applied logic that. Epistemic logic in the tradition of hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. This book provides various logics to support such formal specifications, including proof systems. Nov 15, 2007 dynamic epistemic logic is the logic of knowledge change.

Dynamic epistemic logic 20192020 alexandru baltags personal. Epistemic logic is an umbrella term for a variety of modal logics whose main objects of study are knowledge, belief, and related notions. Nov 14, 2016 this is a brief introduction to the epistemic logic, and the logic of the common knowledge. A sweeping chapterwise outline of the content of this book is the following.

Dynamic epistemic logic 20162017 alexandru baltags. Pdf dynamic epistemic logic download full pdf book. Chapters 2 through 4 expound the basic core of logical dynamics, namely, dynamic epistemic logics. Dynamic epistemic logic is the study of modal logics of model change. This book develops a view of logic as a theory of informationdriven agency and intelligent interaction between. 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. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature. The book presents a unified account of the resulting agenda, in terms of dynamicepistemic logic, a framework developed around 2000 by several authors. A founding publication is 42 we refer to 41 for an overview of epistemic logic and references. Implementing multiagent systems via modal logic \beginitemize m. Doxastic and epistemic logic bibliography philpapers. Del is a dynamic version of epistemic logic, where actions and their effects can directly be described in the logic. 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.