Modal logic for open minds:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
CSLI Publ., Center for the Study of Language and Information
2010
|
| Schriftenreihe: | CSLI lecture notes series
199 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references (p. 373 - 378) and index |
| Beschreibung: | XI, 381 S. graph. Darst. |
| ISBN: | 9781575865997 9781575865980 9781575866987 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV036421992 | ||
| 003 | DE-604 | ||
| 005 | 20140526 | ||
| 007 | t | ||
| 008 | 100426s2010 xxud||| |||| 00||| eng d | ||
| 010 | |a 2009044686 | ||
| 020 | |a 9781575865997 |c cloth : alk. paper |9 978-1-57586-599-7 | ||
| 020 | |a 9781575865980 |9 978-1-57586-598-0 | ||
| 020 | |a 9781575866987 |c pbk. : alk. paper |9 978-1-57586-698-7 | ||
| 035 | |a (OCoLC)457148948 | ||
| 035 | |a (DE-599)BVBBV036421992 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-29 |a DE-19 |a DE-12 |a DE-473 |a DE-703 |a DE-M468 | ||
| 050 | 0 | |a BC199.M6 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Benthem, Johan van |d 1949- |e Verfasser |0 (DE-588)124543286 |4 aut | |
| 245 | 1 | 0 | |a Modal logic for open minds |c Johan van Benthem |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publ., Center for the Study of Language and Information |c 2010 | |
| 300 | |a XI, 381 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a CSLI lecture notes series |v 199 | |
| 490 | 0 | |a CSLI studies in computational linguistics | |
| 500 | |a Includes bibliographical references (p. 373 - 378) and index | ||
| 650 | 4 | |a Modality (Logic) | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a CSLI lecture notes series |v 199 |w (DE-604)BV001900711 |9 199 | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020218826&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020218826 | ||
Datensatz im Suchindex
| _version_ | 1804142812631924736 |
|---|---|
| adam_text | CONTENTS PREFACE IX 1 A WHIRLWIND HISTORY, AND CHANGES IN PERSPECTIVE 1
I CORE CONCEPTS 7 2 BASIC LANGUAGE AND SEMANTICS 11 3 EXPRESSIVE POWER
AND INVARIANCE 25 4 VALIDITY AND DECIDABILITY 37 5 AXIOMS, PROOFS, AND
COMPLETENESS 49 6 COMPUTATION AND COMPLEXITY 61 11 BASIC THEORY 71 7
TRANSLATION AND VARIETIES OF EXPRESSIVE POWER 75 8 INCREASING DEDUCTIVE
POWER: THE LANDSCAPE OF MODALLOGICS 91 9 WHAT AXIOMS SAY: FRAME
CORRESPONDENCE 101 10 DESCRIPTIVE POWER: EXTENDED MODALLANGUAGES 109 11
MODAL PREDICATE LOGIC 119 V VI / MODAL LOGIC FOR OPEN MINDS III SELEETED
APPLIEATIONS 127 12 EPISTEMIC LOGIC 133 13 DOXASTIC AND CONDITIONALLOGIC
147 14 DYNAMIC LOGIC OF ACTIONS AND EVENTS 155 15 LOGIC AND INFORMATION
DYNAMICS 171 16 PREFERENCE AND DEONTIC LOGIC 189 17 MODAL LOGIC AND
GAMES 197 18 THE STRUCTURE AND FTOW OF TIME 207 19 MODAL PATTERNS IN
SPACE 219 20 INTUITIONISTIC LOGIC 233 21 PROVABILITY LOGIC 243 IV REEENT
THEORETIEAL THEMES 251 22 FIXED-POINTS, COMPUTATION, AND EQUILIBRIUM 255
23 ISSUES IN INFORMATION DYNAMICS 265 24 SYSTEM COMBINATION AND
UNDECIDABILITY 281 25 ABSTRACT MODEL THEORY 293 26 DEDUCTIVE
INCOMPLETENESS 303 V CODA 311 27 A B MODAL FOUNDATIONS FOR CLASSICAL
LOGIC FIRST-ORDER PREDICATE LOGIC 323 MODAL ALGEBRA 333 315 ANSWERS AND
HINTS TO SELEETED EXEREISES 341 GUIDE TO FURTHER LITERATURE 371
REFERENEES 373 INDEX 379 CONTENTS / VII
|
| any_adam_object | 1 |
| author | Benthem, Johan van 1949- |
| author_GND | (DE-588)124543286 |
| author_facet | Benthem, Johan van 1949- |
| author_role | aut |
| author_sort | Benthem, Johan van 1949- |
| author_variant | j v b jv jvb |
| building | Verbundindex |
| bvnumber | BV036421992 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.M6 |
| callnumber-search | BC199.M6 |
| callnumber-sort | BC 3199 M6 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 SK 130 |
| ctrlnum | (OCoLC)457148948 (DE-599)BVBBV036421992 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01851nam a2200469zcb4500</leader><controlfield tag="001">BV036421992</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140526 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100426s2010 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009044686</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781575865997</subfield><subfield code="c">cloth : alk. paper</subfield><subfield code="9">978-1-57586-599-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781575865980</subfield><subfield code="9">978-1-57586-598-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781575866987</subfield><subfield code="c">pbk. : alk. paper</subfield><subfield code="9">978-1-57586-698-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)457148948</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036421992</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-M468</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC199.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</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="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal logic for open minds</subfield><subfield code="c">Johan van Benthem</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publ., Center for the Study of Language and Information</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 381 S.</subfield><subfield code="b">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="490" ind1="1" ind2=" "><subfield code="a">CSLI lecture notes series</subfield><subfield code="v">199</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">CSLI studies in computational linguistics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 373 - 378) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">CSLI lecture notes series</subfield><subfield code="v">199</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">199</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=020218826&sequence=000001&line_number=0001&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-020218826</subfield></datafield></record></collection> |
| id | DE-604.BV036421992 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:37:43Z |
| institution | BVB |
| isbn | 9781575865997 9781575865980 9781575866987 |
| language | English |
| lccn | 2009044686 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020218826 |
| oclc_num | 457148948 |
| open_access_boolean | |
| owner | DE-29 DE-19 DE-BY-UBM DE-12 DE-473 DE-BY-UBG DE-703 DE-M468 |
| owner_facet | DE-29 DE-19 DE-BY-UBM DE-12 DE-473 DE-BY-UBG DE-703 DE-M468 |
| physical | XI, 381 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | CSLI Publ., Center for the Study of Language and Information |
| record_format | marc |
| series | CSLI lecture notes series |
| series2 | CSLI lecture notes series CSLI studies in computational linguistics |
| spelling | Benthem, Johan van 1949- Verfasser (DE-588)124543286 aut Modal logic for open minds Johan van Benthem Stanford, Calif. CSLI Publ., Center for the Study of Language and Information 2010 XI, 381 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier CSLI lecture notes series 199 CSLI studies in computational linguistics Includes bibliographical references (p. 373 - 378) and index Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf Modallogik (DE-588)4074914-9 s DE-604 CSLI lecture notes series 199 (DE-604)BV001900711 199 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020218826&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Benthem, Johan van 1949- Modal logic for open minds CSLI lecture notes series Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4074914-9 |
| title | Modal logic for open minds |
| title_auth | Modal logic for open minds |
| title_exact_search | Modal logic for open minds |
| title_full | Modal logic for open minds Johan van Benthem |
| title_fullStr | Modal logic for open minds Johan van Benthem |
| title_full_unstemmed | Modal logic for open minds Johan van Benthem |
| title_short | Modal logic for open minds |
| title_sort | modal logic for open minds |
| topic | Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Modality (Logic) Modallogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020218826&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT benthemjohanvan modallogicforopenminds |