Handbook of epistemic logic:
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
[London]
College Publ.
2015
|
| Schlagworte: | |
| Online-Zugang: | Klappentext Inhaltsverzeichnis |
| Beschreibung: | XVIII, 655 S. Ill., graph. Darst. |
| ISBN: | 9781848901582 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042714424 | ||
| 003 | DE-604 | ||
| 005 | 20150811 | ||
| 007 | t | ||
| 008 | 150724s2015 ad|| |||| 00||| eng d | ||
| 020 | |a 9781848901582 |c Pbk. |9 978-1-84890-158-2 | ||
| 035 | |a (OCoLC)905681604 | ||
| 035 | |a (DE-599)BVBBV042714424 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-355 |a DE-M468 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 4500 |0 (DE-625)17627: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Handbook of epistemic logic |c ed. by Hans van Ditmarsch ... |
| 264 | 1 | |a [London] |b College Publ. |c 2015 | |
| 300 | |a XVIII, 655 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Epistemic logic / Handbooks, manuals, etc | |
| 650 | 7 | |a Logique épistémique / Guides pratiques et mémentos |2 ram | |
| 650 | 0 | 7 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ditmarsch, Hans van |4 edt | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028145698&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028145698&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028145698 | ||
Datensatz im Suchindex
| _version_ | 1804174919015071744 |
|---|---|
| adam_text | Epetemic logic and. more generally, logics of
knowledge and belief, originated with philosophers
such as Jeakko Hintikka and David Lewis in the
early 1960s. Since then, such logics have played
a significant role not only in philosophy, but also
in computer science, artificial intelligence, and
economics. This handbook reports significant
progress in a field that, while more mature,
continues to be very active. This book should
make it easier for new researchers to enter the
field, and give experts a chance to appreciate
work in related areas.
The book starts with a gentle introduction to
the logics of knowledge and belief; it gives an
overview of the area end the materiel covered
m the book. The following eleven chapters, each
written by a leading researcher (or researchers),
cover the topics of only knowing, awareness,
knowledge and probability, knowledge and time,
the dynamics of knowledge and of belief, model
checking, game theory, agency, knowledge and
ability, and security protocols. The chapters
have been written so that they can be reed
independently end m any order. Each chapter
ends with a section of notes that provides some
historical background, including references, end
a detailed bibliography.
Contents
Preface xiii
Contributors xv
1 An Introduction to Logics of Knowledge and Belief 1
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van dev Hoek and Barteld
Kooi
LI Introduction to the Book................................ 1
1.2 Basic Concepts and Tools................................ 2
1.2.1 Language.......................................... 6
1.2.2 Semantics......................................... 8
1.2.3 Expressivity and Succinctness.................... 21
1.2.4 Reasoning problems . .......................... 26
1.2.5 Axiomadsation.................................. 32
1.3 Overview of the Book........,...................... 42
1.4 Notes ............................................... 45
References............................................ 49
1 Informational Attitudes 53
2 Only Knowing 55
Gerhard Lakemeyer and Hector J. Levesque
2.1 Introduction....................................... 55
2.2 Single-Agent Only Knowing........................... 56
2.2.1 Syntax and Semantics.......................... 57
2.2.2 Some properties of OL........................... 58
2.2.3 Proof Theory.................................. 59
2.2.4 Only Knowing and Autoepistemic Logic . ....... 62
2.2.5 Honesty.................................... 64
VI
CONTENTS
2.3 Multi-Agent Only Knowing................................... 65
2.3.1 The Canonical-Model Approach........................ 66
2.3.2 Proof Theory........................................ 68
2.3.3 Honesty Revisited................................... 69
2.4 Notes . .................................................. 72
References................................................. 74
3 Awareness 77
Burkhard C. Schipper
3.1 Introduction............................................... 77
3.2 Preliminary discussion..................................... 79
3.2.1 Some properties of awareness in natural languages . 79
3.2.2 Some properties of awareness in a formal language , 80
3.3 Awareness and knowledge.................................... 82
3.3.1 Awareness structures ............................... 82
3.3.2 Impossibility of unawareness in Kripke frames .... 91
3.3.3 Unawareness frames.................................. 94
3.3.4 Unawareness structures ............................ 100
3.3.5 Generalized standard models........................ 104
3.3.6 Product models..................................... 107
3.4 Awareness and probabilistic belief........................ 112
3.4.1 Type spaces with unawareness ...................... 112
3.4.2 Speculative trade and agreement.................... 116
3.5 Awareness of unawareness.................................. 118
3.5.1 Propositional quantifiers and extended awareness
structures......................................... 118
3.5.2 First-order logic with unawareness of objects .... 121
3.5.3 Neighborhood semantics and first-order logic with a-
wareness........................................... 127
3.5.4 Awareness of unawareness without quantifiers .... 129
3.6 Notes .................................................... 133
References................................................ 141
4 Epistemic Probabilistic Logic 147
Lorens Demeyand Joshua Sack
4.1 Introduction.............................................. 148
4.2 Probabilistic Propositional Logic......................... 150
4.2.1 Probabilistic -Models.............................. 151
4.2.2 Language and Semantics............................. 152
4.2.3 The Expressivity of Linear Combinations ........... 155
CONTENTS
Vil
4.2.4 Proof System...................................... 158
4.2.5 Decidability and Complexity ........................ 160
4.3 Probabilistic Epistemic Logic............................. 161
4.3.1 Probabilistic Relational Models..................... 161
4.3.2 Language and Semantics.............................. 162
4.3.3 Expressivity of Linear Combinations................. 168
4.3.4 Proof System........................................ 169
4.3.5 Decidability and Complexity ........................ 170
4.4 Probabilistic Interpreted Systems......................... 171
4.4.1 Adding Probabilities to Interpreted Systems......... 171
4.4.2 Language and Semantics.............................. 173
4.4.3 Temporal and Dynamic Epistemic Logic................ 174
4.5 Probabilistic Public Announcement Logic................... 176
4.5.1 Language and Semantics.............................. 176
4.5.2 Proof System........................................ 181
4.5.3 Decidability and Complexity ........................ 182
4.5.4 Higher-Order Information in Public Announcements 182
4.6 Probabilistic Dynamic Epistemic Logic..................... 185
4.6.1 Probabilistic Product Update........................ 185
4.6.2 Language and Semantics.............................. 189
4.6.3 Proof System........................................ 191
4.7 Further Developments and Applications..................... 193
4.8 Conclusion................................................ 194
4.9 Notes .................................................... 195
References................................................. 198
II Dynamics of Informational Attitudes 203
5 Knowledge and Time 205
Clare Dixon, Cláudia Nalon and Ram Ramanujam
5.1 Introduction.......................................... 206
5.1.1 A temporal logic of knowledge .................. 206
5.1.2 Structural investigations ...................... 207
5.2 Language.............................................. 209
5.2.1 Syntax.......................................... 209
5.2.2 Semantics....................................... 210
5.3 Complexity............................................ 213
5.4 Expressiveness ....................................... 217
5.4.1 First order fragments........................... 217
5.4.2 Quantified extensions .......................... 219
VIU
CONTENTS
5.5 Axiomatisation.......................................... 219
5.6 Reasoning............................................... 221
5.6.1 Resolution....................................... 223
5.6.2 Tableau.......................................... 227
5.7 Knowledge and communication............................. 233
5.7.1 The history based model ......................... 234
5.8 Levels of knowledge................................... 235
5.9 Knowledge based semantics............................... 237
5.10 Automata theory of knowledge............................ 239
5.10.1 Epistemic automata............................... 240
5.10.2 Finite state automata............................ 240
5.10.3 Distributed alphabets........................... 241
5.10.4 Epistemic transition systems .................... 242
5.10.5 Behaviours....................................... 245
5.11 Applications............................................ 247
5.12 In conclusion........................................... 249
5.13 Notes ................................................ 250
References.............................................. 254
6 Dynamic Epistemic Logic 261
Lawrence S. Moss
6.1
6.2
6.3
6.4
Introduction........................................... 262
6.1.1 Scenarios........................................ 263
6.1.2 General notes on this chapter.................... 267
Public Announcements and PAL........................... 268
6.2.1 Public Announcement Logic PAL ................... 271
6.2.2 Announcing a true fact might falsify it........ . 273
6.2.3 Sound and complete logical systems .............. 275
6.2.4 Succinctness and complexity...................... 282
6.2.5 The substitution core ........................... 284
Additions to PAL ...................................... 284
6.3.1 Common knowledge and relativized common knowledge285
6.3.2 Iterated announcements ........................ 288
6.3.3 Arbitrary announcement logic.................... 290
More General Epistemic Actions ..................... 291
6.4.1 Private announcements and more general epistemic
actions.......................................... 291
6.4.2 The update product................................ 293
6.4.3 Slower version of the update product............. 296
6.4.4 DEL based on epistemic actions . ................ 299
Condusions.............................................. 305
6.5
CONTENTS
IX
6.6 Notes ................................................... 307
References............................................... 310
7 Dynamic Logics of Belief Change 313
Johan van Benthemand Sonja Smets
7.1 Basics of belief revision......................................... 314
7.1.1 The AGM account of belief revision ....................... 314
7.1.2 Conditionals and the Ramsey Test.......................... 317
7.2 Modal logics of belief revision................................... 318
7.3 Static base logic«................................................ 322
7.3.1 Static logic of knowledge and belief..................... 322
7.3.2 Plausibility models........................................ 323
7.4 Belief revision by model transformations................... 330
7.4.1 From knowledge to belief hard and soft information 330
7.4.2 Belief change under hard information............. 331
7.4.3 From dynamics to statics: safe and strong belief. . . 332
7.4.4 Belief change under soft information: radical upgrade 333
7.4.5 Conservative upgrade and other revision policies . . 336
7.5 General formats for belief revision........................ 337
7.5.1 Relation transformers as PDL programs............ 337
7.5.2 Product update in general dynamie-epistemic logic . 338
7.5.3 Priority update.................................. 342
7.6 Belief revision and probability dynamics.................... 345
7.7 Time, iterated update, and learning......................... 349
7.7.1 Epistemic temporal logic......................... 350
7.7.2 Protocols in dynamic epistemic logic............. 353
7.7.3 Representing DEL inside temporal logic........... 355
7.7.4 Beliefs over time................................ 356
7.7.5 Iterated belief upgrades and limit behavior ..........357
7.7.6 From belief revision to formal learning theory .... 360
7.8 Belief, games, and social agency........................ 363
7.8.1 Iterated beliefs in games........................ 363
7.8.2 Belief change in social networks................. 366
7.8.3 Informational cascades........................... 366
7.8.4 Influence in social networks......................370
7.9 Further directions......................................... 372
7.9.1 Postulational and constructive approaches.........372
7.9.2 Belief revision versus nonstandard consequence . . . 375
7.9.3 Belief revision and evidence..................... 375
7.9.4 Combining information and preference..............376
7.9.5 Group belief and merge........................... 377
X
CONTENTS
7.9.6 Belief revision and social choice.................... 378
7.10 Notes ..................................................... 379
References.................................................. 385
III Applications 395
8 Model Checking Temporal Epistemic Logic 397
Alessio Lomuscio and Wojciech Penczek
8.1 Introduction........................................... 398
8.2 Syntax and Semantics................................... 400
8.2.1 Syntax........................................... 400
8.2.2 Interpreted systems semantics.................... 401
8.2.3 Interleaved interpreted systems.................. 402
8.2.4 Temporal-epistemic specifications................ 403
8.3 OBDD-based Symbolic Model Checking..................... 405
8.3.1 State space representation and labelling..........406
8.3.2 MCMAS............................................ 410
8.4 SAT-based Symbolic Model Checking...................... 411
8.4.1 Bounded Model Checking........................... 412
8.4.2 Unbounded Model Checking......................... 415
8.4.3 VerICS........................................... 418
8.5 Extensions to Real-Time Epistemic Logic ............... 418
8.5.1 Example.......................................... 420
8.6 Partial Order Reductions .............................. 421
8.6.1 Evaluation....................................... 423
8.7 Notes ................................................. 424
References.............................................. 433
9 Epistemic Foundations of Game Theory 443
Giacomo Bonanno
9.1 Introduction.............................................. 444
9.2 Epistemic Models of Strategic-Form Games.................. 445
9.3 Common Belief of Rationality: Semantics................... 449
9.4 Common Belief of Rationality: Syntax...................... 453
9.5 Common Belief versus Common Knowledge..................... 458
9.6 Probabilistic Beliefs and Payoffs......................... 466
9.7 Dynamic Games with Perfect Information.................... 469
9.8 The Semantics of Belief Revision.......................... 473
9.9 Common Belief of Rationality.............................. 474
9.10 Notes .................................................... 480
CONTENTS xi
References.................................................484
10 BDI Logics 489
John-Jules Ch. Meyer, Jan Broersen and Andreas Herzig
10.1 Introduction............................................. 489
10.2 Bratman’s theory of Belief-Desire-Intention...............490
10.2.1 Cohen and Levesque’s approach to intentions .... 493
10.2.2 Rao Georgeff’s BDI logic........................ 502
10.3 KARO Logic............................................... 510
10.4 BDI-modalities in STIT logic............................. 520
10.4.1 BDI modalities in instantaneous stit .............. 521
10.4.2 BDI modalities in XSTIT: dynamic attitudes......... 528
10.5 Conclusion............................................... 531
10.6 Notes ................................................... 531
References................................................ 537
11 Knowledge and Ability 543
Thomas Ågotnes, Valentin Goranko , Jamroga
and Michael Wooldridge
11.1 Philosophical Treatments ................................ 544
11.2 Ability in Artificial Intelligence....................... 548
11.3 Logics for Abilities of Agents and Coalitions............ 552
11.3.1 Concurrent Game Models............................. 553
11.3.2 Plays and strategies............................... 554
11.3.3 Expressing Local Coalitional Powers: Coalition Logic 556
11.3.4 Alternating-time temporal logics................... 558
11.4 Abilities under Incomplete Information................... 563
11.4.1 Incomplete Information and Uniform Strategies . . . 563
11.4.2 Reasoning about Abilities under Uncertainty .... 566
11.4.3 Impact of Knowledge on Strategic Ability............570
11.5 Reasoning about Strategies and Knowledge................. 573
11.5.1 Towards an Epistemic Extension of ATL..............573
11.5.2 Epistemic Levels of Strategic Ability..............575
11.5.3 Expressing Epistemic Lewis of Ability and Construc-
tive Knowledge.................................. 576
11.5.4 Closer Look at Constructive Knowledge...........579
11.5.5 Public Announcements........................... 581
11.6 Concluding remarks ................................... 583
11.7 Notes ................................................ 583
References............................................ 586
xii CONTENTS
12 Knowledge and Security 591
Riccardo Pucella
12.1 Introduction........................................... 591
12.2 Cryptographic Protocols................................ 594
12.2.1 Protocols....................................... 595
12.2.2 Cryptography.................................... 599
12.2.3 Attackers....................................... 607
12.2.4 Modeling Knowledge.............................. 609
12.2.5 Reasoning about Cryptographic Protocols......... 613
12.3 Information Flow in Multi-Level Systems................ 622
12.3.1 Information Flow in Event Systems............... 624
12.3.2 Language-Based Noninterference.................. 627
12.4 Beyond Confidentiality................................. 630
12.5 Perspectives........................................... 634
12.6 Notes ................................................. 638
References............................................. 646
|
| any_adam_object | 1 |
| author2 | Ditmarsch, Hans van |
| author2_role | edt |
| author2_variant | h v d hv hvd |
| author_facet | Ditmarsch, Hans van |
| building | Verbundindex |
| bvnumber | BV042714424 |
| classification_rvk | CC 2600 CC 4500 |
| ctrlnum | (OCoLC)905681604 (DE-599)BVBBV042714424 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01864nam a2200409 c 4500</leader><controlfield tag="001">BV042714424</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150811 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150724s2015 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848901582</subfield><subfield code="c">Pbk.</subfield><subfield code="9">978-1-84890-158-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905681604</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042714424</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-M468</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">CC 4500</subfield><subfield code="0">(DE-625)17627:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of epistemic logic</subfield><subfield code="c">ed. by Hans van Ditmarsch ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[London]</subfield><subfield code="b">College Publ.</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 655 S.</subfield><subfield code="b">Ill., graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Epistemic logic / Handbooks, manuals, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique épistémique / Guides pratiques et mémentos</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erkenntnistheorie</subfield><subfield code="0">(DE-588)4070914-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erkenntnistheorie</subfield><subfield code="0">(DE-588)4070914-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Ditmarsch, Hans van</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=028145698&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=028145698&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028145698</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV042714424 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:02Z |
| institution | BVB |
| isbn | 9781848901582 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028145698 |
| oclc_num | 905681604 |
| open_access_boolean | |
| owner | DE-29 DE-355 DE-BY-UBR DE-M468 |
| owner_facet | DE-29 DE-355 DE-BY-UBR DE-M468 |
| physical | XVIII, 655 S. Ill., graph. Darst. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | College Publ. |
| record_format | marc |
| spelling | Handbook of epistemic logic ed. by Hans van Ditmarsch ... [London] College Publ. 2015 XVIII, 655 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Epistemic logic / Handbooks, manuals, etc Logique épistémique / Guides pratiques et mémentos ram Erkenntnistheorie (DE-588)4070914-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Erkenntnistheorie (DE-588)4070914-0 s Logik (DE-588)4036202-4 s DE-604 Ditmarsch, Hans van edt Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028145698&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Klappentext Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028145698&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of epistemic logic Epistemic logic / Handbooks, manuals, etc Logique épistémique / Guides pratiques et mémentos ram Erkenntnistheorie (DE-588)4070914-0 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4070914-0 (DE-588)4036202-4 (DE-588)4143413-4 |
| title | Handbook of epistemic logic |
| title_auth | Handbook of epistemic logic |
| title_exact_search | Handbook of epistemic logic |
| title_full | Handbook of epistemic logic ed. by Hans van Ditmarsch ... |
| title_fullStr | Handbook of epistemic logic ed. by Hans van Ditmarsch ... |
| title_full_unstemmed | Handbook of epistemic logic ed. by Hans van Ditmarsch ... |
| title_short | Handbook of epistemic logic |
| title_sort | handbook of epistemic logic |
| topic | Epistemic logic / Handbooks, manuals, etc Logique épistémique / Guides pratiques et mémentos ram Erkenntnistheorie (DE-588)4070914-0 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Epistemic logic / Handbooks, manuals, etc Logique épistémique / Guides pratiques et mémentos Erkenntnistheorie Logik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028145698&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028145698&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ditmarschhansvan handbookofepistemiclogic |