Availability: Dynamic Epistemic Logic | Technische Universität München

Dynamic Epistemic Logic:

Saved in:

Bibliographic Details
Main Authors:	Ditmarsch, Hans van 1959- (Author), Hoek, Wiebe van der (Author), Kooi, Barteld (Author)
Format:	Book
Language:	English
Published:	Dordrecht Springer 2007
Series:	Synthese Library 337
Subjects:	Connaissance, Théorie de la Logique Logique épistémique - Modèles mathématiques Épistémique Epistemics Logic Epistemische Logik Dynamische Logik
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015613541&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	282 S.
ISBN:	9781402058387

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV022404960
003	DE-604
005	20090824
007	t\|
008	070427s2007 gw \|\|\|\| 00\|\|\| eng d
015			\|a 07,N05,0103 \|2 dnb
016	7		\|a 982477678 \|2 DE-101
020			\|a 9781402058387 \|9 978-1-4020-5838-7
035			\|a (OCoLC)153157773
035			\|a (DE-599)BVBBV022404960
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-29 \|a DE-12 \|a DE-384
050		0	\|a BC57
082	1		\|a 003.85 \|2 22
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a ST 300 \|0 (DE-625)143650: \|2 rvk
084			\|a 100 \|2 sdnb
084			\|a 5,1 \|2 ssgn
100	1		\|a Ditmarsch, Hans van \|d 1959- \|e Verfasser \|0 (DE-588)133419703 \|4 aut
245	1	0	\|a Dynamic Epistemic Logic \|c by Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi
264		1	\|a Dordrecht \|b Springer \|c 2007
300			\|a 282 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Synthese Library \|v 337
650		4	\|a Connaissance, Théorie de la
650		4	\|a Logique
650		7	\|a Logique épistémique - Modèles mathématiques \|2 ram
650		4	\|a Épistémique
650		4	\|a Epistemics
650		4	\|a Logic
650	0	7	\|a Epistemische Logik \|0 (DE-588)4152538-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Dynamische Logik \|0 (DE-588)4637784-0 \|2 gnd \|9 rswk-swf
689	0	0	\|a Dynamische Logik \|0 (DE-588)4637784-0 \|D s
689	0	1	\|a Epistemische Logik \|0 (DE-588)4152538-3 \|D s
689	0		\|5 DE-604
700	1		\|a Hoek, Wiebe van der \|e Verfasser \|0 (DE-588)123196957 \|4 aut
700	1		\|a Kooi, Barteld \|e Verfasser \|4 aut
830		0	\|a Synthese Library \|v 337 \|w (DE-604)BV000005044 \|9 337
856	4	2	\|m V:DE-604 \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015613541&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015613541

Record in the Search Index

_version_	1819379415929323520
adam_text	CONTENTS PREFACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. IX 1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 EPISTEMIC AND DOXASTIC LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 2 1.2 DYNAMIC EPISTEMIC LOGIC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 3 1.3 INFORMATION, BELIEF, AND KNOWLEDGE . . . . . . . . . . . . . . . . . . . . . . .. 5 2 EPISTEMIC LOGIC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 11 2.1 INTRODUCTION............................................ 11 2.2 BASIC SYSTEM: 85 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 11 2.2.1 LANGUAGE......................................... 12 2.2.2 SEMANTICS........................................ 16 2.2.3 AXIOMATISATION.................................... 25 2.3 GROUP NOTIONS OF KNOWLEDGE. . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 30 2.3.1 LANGUAGE 30 2.3.2 SEMANTICS........................................ 33 2.3.3 AXIOMATISATION.................................... 37 2.4 LOGICS FOR BELIEF. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 38 2.5 NOTES.................................................. 40 3 BELIEF REVISION 43 3.1 INTRODUCTION............................................ 43 3.2 THE AGM-APPROACH 44 3.2.1 EXPANSION........................................ 45 3.2.2 CONTRACTION....................................... 47 3.2.3 REVISION......................................... 50 3.2.4 CHARACTERISATION RESULTS 52 3.3 POSSIBLE WORLDS SEMANTICS FOR INFORMATION CHANGE. . . . . . . . . .. 55 3.4 PARADOXES OF INTROSPECTIVE BELIEF CHANGE . . . . . . . . . . . . . . . . . .. 58 3.5 DYNAMIC DOXASTIC LOGIC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 63 3.6 NOTES.................................................. 65 V VI CONTENTS 4 PUBLIE ANNOUNEEMENTS 67 4.1 INTRODUCTION............................................ 67 4.2 EXAMPLES............................................... 68 4.3 SYNTAX................................................. 72 4.4 SEMANTICS.............................................. 74 4.5 PRINCIPLES OF PUBLIC ANNOUNCEMENT LOGIC . . . . . . . . . . . . . . . . . .. 77 4.6 ANNOUNCEMENT AND COMMON KNOWLEDGE 81 4.7 UNSUCCESSFUL UPDATES 84 4.8 AXIOMATISATION.......................................... 88 4.8.1 PUBLIC ANNOUNCEMENT LOGIC WITHOUT COMMON KNOWLEDGE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 88 4.8.2 PUBLIC ANNOUNCEMENT LOGIC . . . . . . . . . . . . . . . . . . . . . . .. 90 4.9 KNOWLEDGE AND BELIEF 91 4.10 MUDDY CHILDREN 93 4.11 SUM AND PRODUCT 96 4.12 RUSSIAN CARDS 97 4.13 NOTES 104 5 EPISTEMIC AETIONS 109 5.1 INTRODUCTION 109 5.2 SYNTAX 112 5.3 SEMANTICS 115 5.3.1 BASIC DEFINITIONS 115 5.3.2 EXAMPLE OF EPISTEMIC ACTION SEMANTICS 118 5.3.3 SEMANTIC PROPERTIES 120 5.3.4 DETERMINISTIC AND NON-DETERMINISTIC ACTIONS 122 5.3.5 VALID PROPERTIES OF THE LOGIC 124 5.4 CARD GAME ACTIONS 126 5.4.1 DEALING AND PICKING UP CARDS 127 5.4.2 GAME ACTIONS IN HEXA 127 5.4.3 KNOWLEDGE GAMES 132 5.4.4 DIFFERENT CARDS 133 5.5 SPREADING GOSSIP 134 5.6 NOTES 137 6 ACTION MODELS 141 6.1 INTRODUCTION 141 6.1.1 SYNTAX OR SEMANTICS? 145 6.1.2 ACTION MODELS AS SYNTACTIC OBJECTS 146 6.1.3 ACTION MODELS AS SEMANTIC OBJECTS 148 6.1.4 CONCLUDING 148 6.2 ACTION MODELS 149 6.3 SYNTAX OF ACTION MODEL LOGIC 149 6.4 SEMANTICS OF ACTION MODEL LOGIC 151 6.5 BISIMILARITY AND ACTION EMULATION 157 CONTENTS VII 6.6 VALIDITIES AND AXIOMATISATION 162 6.7 EPISTEMIC MODEL CHECKING 166 6.8 RELATIONAL ACTIONS AND ACTION MODELS 170 6.9 PRIVATE ANNOUNCEMENTS 173 6.10 NOTES 174 7 COMPLETENESS 177 7.1 INTRODUCTION 177 7.2 85: THE BASIC CASE 178 7.3 85C: DEALING WITH NON-COMPACTNESS 182 7.4 PA: COMPLETENESS BY TRANSLATION 186 7.5 PAC: INDUCTION ON COMPLEXITY 189 7.6 AM: TRANSLATING ACTION MODELS .. 194 7.7 AMC: GENERALISING THE PROOF FOR PAC 196 7.8 RELATIVISED COMMON KNOWLEDGE 201 7.8.1 LANGUAGE, SEMANTICS, AND COMPLETENESS 201 7.8.2 ADDING PUBLIC ANNOUNCEMENTS 205 7.9 NOTES 208 8 EXPRESSIVITY 211 8.1 INTRODUCTION 211 8.2 BASIC CONCEPTS 212 8.3 BISIMULATION 215 8.3.1 COUNTABLY MANY ATOMS 216 8.3.2 HEDGEHOGS 217 8.4 GAMES 220 8.5 85 224 8.5.1 SINGLE-AGENT 85 224 8.5.2 MULTI-AGENT 85 225 8.6 85C 227 8.7 PA 230 8.8 PAC 231 8.8.1 HAIRPINS 231 8.9 NON-DETERMINISTIC CHOICE 235 8.10 AM 237 8.11 RELATIVISED COMMON KNOWLEDGE 237 8.12 NOTES 241 ASELEETED ANSWERS TO EXERCISES 243 REFERENEES 265 INDEX 277
any_adam_object	1
author	Ditmarsch, Hans van 1959- Hoek, Wiebe van der Kooi, Barteld
author_GND	(DE-588)133419703 (DE-588)123196957
author_facet	Ditmarsch, Hans van 1959- Hoek, Wiebe van der Kooi, Barteld
author_role	aut aut aut
author_sort	Ditmarsch, Hans van 1959-
author_variant	h v d hv hvd w v d h wvd wvdh b k bk
building	Verbundindex
bvnumber	BV022404960
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC57
callnumber-raw	BC57
callnumber-search	BC57
callnumber-sort	BC 257
callnumber-subject	BC - Logic
classification_rvk	CC 2600 ST 300
ctrlnum	(OCoLC)153157773 (DE-599)BVBBV022404960
dewey-full	003.85
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	003 - Systems
dewey-raw	003.85
dewey-search	003.85
dewey-sort	13.85
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01994nam a2200553 cb4500</leader><controlfield tag="001">BV022404960</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090824 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">070427s2007 gw \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N05,0103</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982477678</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402058387</subfield><subfield code="9">978-1-4020-5838-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)153157773</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022404960</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC57</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">003.85</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ditmarsch, Hans van</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133419703</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic Epistemic Logic</subfield><subfield code="c">by Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">282 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthese Library</subfield><subfield code="v">337</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Connaissance, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique épistémique - Modèles mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Épistémique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Epistemische Logik</subfield><subfield code="0">(DE-588)4152538-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Epistemische Logik</subfield><subfield code="0">(DE-588)4152538-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoek, Wiebe van der</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123196957</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kooi, Barteld</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese Library</subfield><subfield code="v">337</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">337</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015613541&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015613541</subfield></datafield></record></collection>
id	DE-604.BV022404960
illustrated	Not Illustrated
indexdate	2024-12-20T12:54:39Z
institution	BVB
isbn	9781402058387
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015613541
oclc_num	153157773
open_access_boolean
owner	DE-29 DE-12 DE-384
owner_facet	DE-29 DE-12 DE-384
physical	282 S.
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Synthese Library
series2	Synthese Library
spellingShingle	Ditmarsch, Hans van 1959- Hoek, Wiebe van der Kooi, Barteld Dynamic Epistemic Logic Synthese Library Connaissance, Théorie de la Logique Logique épistémique - Modèles mathématiques ram Épistémique Epistemics Logic Epistemische Logik (DE-588)4152538-3 gnd Dynamische Logik (DE-588)4637784-0 gnd
subject_GND	(DE-588)4152538-3 (DE-588)4637784-0
title	Dynamic Epistemic Logic
title_auth	Dynamic Epistemic Logic
title_exact_search	Dynamic Epistemic Logic
title_full	Dynamic Epistemic Logic by Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi
title_fullStr	Dynamic Epistemic Logic by Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi
title_full_unstemmed	Dynamic Epistemic Logic by Hans van Ditmarsch ; Wiebe van der Hoek ; Barteld Kooi
title_short	Dynamic Epistemic Logic
title_sort	dynamic epistemic logic
topic	Connaissance, Théorie de la Logique Logique épistémique - Modèles mathématiques ram Épistémique Epistemics Logic Epistemische Logik (DE-588)4152538-3 gnd Dynamische Logik (DE-588)4637784-0 gnd
topic_facet	Connaissance, Théorie de la Logique Logique épistémique - Modèles mathématiques Épistémique Epistemics Logic Epistemische Logik Dynamische Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015613541&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000005044
work_keys_str_mv	AT ditmarschhansvan dynamicepistemiclogic AT hoekwiebevander dynamicepistemiclogic AT kooibarteld dynamicepistemiclogic

Availability

‌

Order via interlibrary loan Table of Contents