Dynamic epistemic logic (Q953926): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/978-1-4020-5839-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2159131252 / rank | |||
Normal rank |
Latest revision as of 02:37, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dynamic epistemic logic |
scientific article |
Statements
Dynamic epistemic logic (English)
0 references
7 November 2008
0 references
This is an excellent and much needed introduction to recent advances in the logic of knowledge change. The book consists of 8 chapters, the first of which gives a brief introduction. Chapter 2 introduces epistemic logic both semantically (by means of Kripke structures) and syntactically (by means of modal logic). Group notions of knowledge, in particular common knowledge, are also discussed. Chapter 3 deals with the AGM approach to belief revision. Chapter 4 gives a comprehensive account of a logic of knowledge with dynamic operators for truthful public announcements. Chapter 5 proceeds to a generalization of public announcement logic to more complex epistemic actions, while Chapter 6 is devoted to the action model approach to describing epistemic actions. Chapter 7 contains the proofs of completeness for the logics introduced in Chapters 2, 4 and 6. Chapter 8 discusses various results on the expressive power of the logics presented in the previous chapters. An attractive feature of this book is the multitude of illustrative examples.
0 references
knowledge
0 references
belief
0 references
belief revision
0 references
modal logic
0 references
knowledge change
0 references
public announcement
0 references
common knowledge
0 references
epistemic logic
0 references
doxastic logic
0 references