Modal logic: an introduction to its syntax and semantics
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2008
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references (p. ) and index |
| Beschreibung: | XI, 268 S. |
| ISBN: | 9780195366570 9780195366587 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV035019873 | ||
| 003 | DE-604 | ||
| 005 | 20100608 | ||
| 007 | t | ||
| 008 | 080825s2008 xxu |||| 00||| eng d | ||
| 010 | |a 2008007187 | ||
| 020 | |a 9780195366570 |9 978-0-19-536657-0 | ||
| 020 | |a 9780195366587 |9 978-0-19-536658-7 | ||
| 035 | |a (OCoLC)179802853 | ||
| 035 | |a (DE-599)BVBBV035019873 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-29 |a DE-92 |a DE-11 |a DE-355 | ||
| 050 | 0 | |a BC199.M6 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Cocchiarella, Nino B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modal logic |b an introduction to its syntax and semantics |c Nino B. Cocchiarella and Max A. Freund |
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2008 | |
| 300 | |a XI, 268 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. ) and index | ||
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Freund, Max A. |e Verfasser |4 aut | |
| 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=016689010&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016689010 | ||
Datensatz im Suchindex
| _version_ | 1804137945572048896 |
|---|---|
| adam_text | CONTENTS 1 INTRODUCTION 1.1 THE METALANGUAGE . . . . . . . . 1.2 LOGICAL
SYNTAX . 1.2.1 SYMBOLS AND EXPRESSIONS 1.2.2 CONCATENATION . 1.2.3
FORMAL LANGUAGES AND SYSTEMS 1.2.4 THE LOGISTIC METHOD . 1.3 TAUTOLOGOUS
IMPLICATION . . . . . . . . 2 THE SYNTAX OF MODAL SENTENTIAL CALCULI 2.1
SENTENTIAL MODAL LOGIC . 2.1.1 MODAL CN-FORMULAS . 2.1.2 MODAL-FREE AND
MODALLY-CLOSED FORMULAS 2.2 MODAL CN-CALCULI . 2.2.1 CLASSICAL MODAL
CALCULI . 2.2.2 REGULAR AND NORMAL MODAL CALCULI . 2.2.3 THE MP RULE .
2.2.4 THE SYSTEMS I: K . 2.3 SOME STANDARD NORMAL MODAL CN-CALCULI .
2.3.1 THE MODAL SYSTEM KR . 2.3.2 THE MODAL SYSTEM M 2.3.3 THE MODAL
SYSTEM ER . 2.3.4 THE MODAL SYSTEM S4 . 2.3.5 THE MODAL SYSTEM S4.2
2.3.6 THE MODAL SYSTEM S4.3 2.3.7 THE MODAL SYSTEM S5 2.4 THE SYSTEMS
SI, S2, AND S3 2.5 MODALITIES . 3 MATRIX SEMANTICS 3.1 CN-MATRICES . 3.2
THE STANDARD TWO-VALUED CN-MATRIX 1 1 4 4 5 6 8 13 15 15 16 17 18 19 20
22 23 27 28 30 31 33 34 34 36 37 42 45 46 48 X 3.3 MODAL CN-MATRIEES ...
3.4 HENLE MODAL CN-MATRIEES 4 SEMANTICS FOR LOGICAL NECESSITY 4.1 THE
PROBLEM OF A SEMANTIES FOR LOGIEAL NEEESSITY . 4.2 CARNAP S ADEQUAEY
CRITERION ... 4.3 LOGIEAL ATOMISM AND MODAL LOGIE 5 SEMANTICS FOR 85 5.1
ALL POSSIBLE WORLDS CUT DOWN 5.2 MATRIX SEMANTIES FOR 55 .. 5.3
DEEIDABILITY OF L AT AND 85 . 6 RELATIONAL WORLD SYSTEMS 6.1 RELATIONAL
WORLD SYSTEMS DEFINED ..... 6.2 THE CLASS OF ALL RELATIONAL WORLD
SYSTEMS 6.3 REFLEXIVITY AND AEEESSIBILITY . . 6.4 TRANSITIVE WORLD
SYSTEMS . . . 6.5 QUASI-ORDERED WORLD SYSTEMS. 6.6 SYMMETRIE WORLD
SYSTEMS ... 6.7 REFLEXIVE AND SYMMETRIE WORLD SYSTEMS 6.8 TRANSITIVE AND
SYMMETRIE WORLD SYSTEMS 6.9 PARTITIONED WORLD SYSTEMS 6.10 CONNEXITY AND
AEEESSIBILITY 6.11 CONNECTABLE AEEESSIBILITY 7 QUANTIFIED MODAL LOGIC
7.1 LOGIEAL SYNTAX .... 7.2 FIRST-ORDER LANGUAGES 7.3 PROPER
SUBSTITUTION . 7.4 QUANTIFIED MODAL CN-CA1CULI 7.5 QUANTIFIED EXTENSIONS
OF KR . 7.6 OMEGA-COMPLETENESS IN MODAL LOGIE . 8 THE SEMANTICS OF
QUANTIFIED MODAL LOGIC 8.1 SEMANTIES OF STANDARD MODAL-FREE FORMULAS 8.2
THE SEMANTIES OF LOGIEAL NEEESSITY . 8.3 THE THESIS OF ANTI-ESSENTIALISM
. 8.4 INEOMPLETENESS OF THE PRIMARY SEMANTIES 8.5 SEEONDARY SEMANTIES
FOR NEEESSITY .... 8.6 AETUALIST-POSSIBILIST SEEONDARY SEMANTIES 8.7
RELATIONAL MODEL STRUCTURES . . . . . . . . CONTENTS 52 55 61 62 64 66
71 71 75 78 81 81 89 92 96 98 100 101 102 103 107 113 119 120 122 124
128 140 147 153 154 158 159 162 164 169 177 CONTENTS XL 9 SECOND-ORDER
MODAL LOGIC 183 9.1 SECOND-ORDER LOGICAL SYNTAX 184 9.2 SECOND-ORDER
LANGUAGES . . . 185 9.3 PROPER SUBSTITUTION ..... 188 9.4 SECOND-ORDER
CN-MODAL CALCULI 192 9.5 SECOND-ORDER EXTENSIONS OF KR . 202 9.6
SECOND-ORDER OMEGA-COMPLETENESS . 209 10 SEMANTICS OF SECOND-ORDER MODAL
LOGIC 215 10.1 SEMANTICS OF MODAL-FREE SECOND-ORDER FORMULAS 216 10.2
GENERAL MODELS . . . . . . . . . . . . . . . . . . . 221 10.3 SEMANTICS
OF STANDARD SECOND-ORDER MODAL LANGUAGES . 224 10.4
ACTUALIST-POSSIBILIST SECOND-ORDER SEMANTICS 231 10.5 SECOND-ORDER
RELATIONAL WORLD SYSTEMS . . . . . . . . . 243 AFTERWORD 253
BIBLIOGRAPHY 257 INDEX 263
|
| adam_txt |
CONTENTS 1 INTRODUCTION 1.1 THE METALANGUAGE . . . . . . . . 1.2 LOGICAL
SYNTAX . 1.2.1 SYMBOLS AND EXPRESSIONS 1.2.2 CONCATENATION . 1.2.3
FORMAL LANGUAGES AND SYSTEMS 1.2.4 THE LOGISTIC METHOD . 1.3 TAUTOLOGOUS
IMPLICATION . . . . . . . . 2 THE SYNTAX OF MODAL SENTENTIAL CALCULI 2.1
SENTENTIAL MODAL LOGIC . 2.1.1 MODAL CN-FORMULAS . 2.1.2 MODAL-FREE AND
MODALLY-CLOSED FORMULAS 2.2 MODAL CN-CALCULI . 2.2.1 CLASSICAL MODAL
CALCULI . 2.2.2 REGULAR AND NORMAL MODAL CALCULI . 2.2.3 THE MP RULE .
2.2.4 THE SYSTEMS I: K . 2.3 SOME STANDARD NORMAL MODAL CN-CALCULI .
2.3.1 THE MODAL SYSTEM KR . 2.3.2 THE MODAL SYSTEM M 2.3.3 THE MODAL
SYSTEM ER . 2.3.4 THE MODAL SYSTEM S4 . 2.3.5 THE MODAL SYSTEM S4.2
2.3.6 THE MODAL SYSTEM S4.3 2.3.7 THE MODAL SYSTEM S5 2.4 THE SYSTEMS
SI, S2, AND S3 2.5 MODALITIES . 3 MATRIX SEMANTICS 3.1 CN-MATRICES . 3.2
THE STANDARD TWO-VALUED CN-MATRIX 1 1 4 4 5 6 8 13 15 15 16 17 18 19 20
22 23 27 28 30 31 33 34 34 36 37 42 45 46 48 X 3.3 MODAL CN-MATRIEES .
3.4 HENLE MODAL CN-MATRIEES 4 SEMANTICS FOR LOGICAL NECESSITY 4.1 THE
PROBLEM OF A SEMANTIES FOR LOGIEAL NEEESSITY . 4.2 CARNAP'S ADEQUAEY
CRITERION . 4.3 LOGIEAL ATOMISM AND MODAL LOGIE 5 SEMANTICS FOR 85 5.1
ALL POSSIBLE WORLDS "CUT DOWN" 5.2 MATRIX SEMANTIES FOR 55 . 5.3
DEEIDABILITY OF L AT AND 85 . 6 RELATIONAL WORLD SYSTEMS 6.1 RELATIONAL
WORLD SYSTEMS DEFINED . 6.2 THE CLASS OF ALL RELATIONAL WORLD
SYSTEMS 6.3 REFLEXIVITY AND AEEESSIBILITY . . 6.4 TRANSITIVE WORLD
SYSTEMS . . . 6.5 QUASI-ORDERED WORLD SYSTEMS. 6.6 SYMMETRIE WORLD
SYSTEMS . 6.7 REFLEXIVE AND SYMMETRIE WORLD SYSTEMS 6.8 TRANSITIVE AND
SYMMETRIE WORLD SYSTEMS 6.9 PARTITIONED WORLD SYSTEMS 6.10 CONNEXITY AND
AEEESSIBILITY 6.11 CONNECTABLE AEEESSIBILITY 7 QUANTIFIED MODAL LOGIC
7.1 LOGIEAL SYNTAX . 7.2 FIRST-ORDER LANGUAGES 7.3 PROPER
SUBSTITUTION . 7.4 QUANTIFIED MODAL CN-CA1CULI 7.5 QUANTIFIED EXTENSIONS
OF KR . 7.6 OMEGA-COMPLETENESS IN MODAL LOGIE . 8 THE SEMANTICS OF
QUANTIFIED MODAL LOGIC 8.1 SEMANTIES OF STANDARD MODAL-FREE FORMULAS 8.2
THE SEMANTIES OF LOGIEAL NEEESSITY . 8.3 THE THESIS OF ANTI-ESSENTIALISM
. 8.4 INEOMPLETENESS OF THE PRIMARY SEMANTIES 8.5 SEEONDARY SEMANTIES
FOR NEEESSITY . 8.6 AETUALIST-POSSIBILIST SEEONDARY SEMANTIES 8.7
RELATIONAL MODEL STRUCTURES . . . . . . . . CONTENTS 52 55 61 62 64 66
71 71 75 78 81 81 89 92 96 98 100 101 102 103 107 113 119 120 122 124
128 140 147 153 154 158 159 162 164 169 177 CONTENTS XL 9 SECOND-ORDER
MODAL LOGIC 183 9.1 SECOND-ORDER LOGICAL SYNTAX 184 9.2 SECOND-ORDER
LANGUAGES . . . 185 9.3 PROPER SUBSTITUTION . 188 9.4 SECOND-ORDER
CN-MODAL CALCULI 192 9.5 SECOND-ORDER EXTENSIONS OF KR . 202 9.6
SECOND-ORDER OMEGA-COMPLETENESS . 209 10 SEMANTICS OF SECOND-ORDER MODAL
LOGIC 215 10.1 SEMANTICS OF MODAL-FREE SECOND-ORDER FORMULAS 216 10.2
GENERAL MODELS . . . . . . . . . . . . . . . . . . . 221 10.3 SEMANTICS
OF STANDARD SECOND-ORDER MODAL LANGUAGES . 224 10.4
ACTUALIST-POSSIBILIST SECOND-ORDER SEMANTICS 231 10.5 SECOND-ORDER
RELATIONAL WORLD SYSTEMS . . . . . . . . . 243 AFTERWORD 253
BIBLIOGRAPHY 257 INDEX 263 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Cocchiarella, Nino B. Freund, Max A. |
| author_facet | Cocchiarella, Nino B. Freund, Max A. |
| author_role | aut aut |
| author_sort | Cocchiarella, Nino B. |
| author_variant | n b c nb nbc m a f ma maf |
| building | Verbundindex |
| bvnumber | BV035019873 |
| 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 2400 ST 130 |
| ctrlnum | (OCoLC)179802853 (DE-599)BVBBV035019873 |
| 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 | Informatik Philosophie |
| discipline_str_mv | Informatik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01650nam a2200457zc 4500</leader><controlfield tag="001">BV035019873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080825s2008 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008007187</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195366570</subfield><subfield code="9">978-0-19-536657-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195366587</subfield><subfield code="9">978-0-19-536658-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179802853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035019873</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-92</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</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 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</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">Cocchiarella, Nino B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal logic</subfield><subfield code="b">an introduction to its syntax and semantics</subfield><subfield code="c">Nino B. Cocchiarella and Max A. Freund</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 268 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. ) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modale logica</subfield><subfield code="2">gtt</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</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="700" ind1="1" ind2=" "><subfield code="a">Freund, Max A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=016689010&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-016689010</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV035019873 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T21:46:10Z |
| indexdate | 2024-07-09T21:20:21Z |
| institution | BVB |
| isbn | 9780195366570 9780195366587 |
| language | English |
| lccn | 2008007187 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016689010 |
| oclc_num | 179802853 |
| open_access_boolean | |
| owner | DE-29 DE-92 DE-11 DE-355 DE-BY-UBR |
| owner_facet | DE-29 DE-92 DE-11 DE-355 DE-BY-UBR |
| physical | XI, 268 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Cocchiarella, Nino B. Verfasser aut Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund Oxford [u.a.] Oxford Univ. Press 2008 XI, 268 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. ) and index Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Modallogik (DE-588)4074914-9 s DE-604 Freund, Max A. Verfasser aut V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016689010&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cocchiarella, Nino B. Freund, Max A. Modal logic an introduction to its syntax and semantics Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4151278-9 |
| title | Modal logic an introduction to its syntax and semantics |
| title_auth | Modal logic an introduction to its syntax and semantics |
| title_exact_search | Modal logic an introduction to its syntax and semantics |
| title_exact_search_txtP | Modal logic an introduction to its syntax and semantics |
| title_full | Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund |
| title_fullStr | Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund |
| title_full_unstemmed | Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund |
| title_short | Modal logic |
| title_sort | modal logic an introduction to its syntax and semantics |
| title_sub | an introduction to its syntax and semantics |
| topic | Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Modale logica Modality (Logic) Modallogik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016689010&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT cocchiarellaninob modallogicanintroductiontoitssyntaxandsemantics AT freundmaxa modallogicanintroductiontoitssyntaxandsemantics |