Handbook of modal logic:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
2007
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Studies in logic and practical reasoning
3 |
| Schlagworte: | |
| Online-Zugang: | Publisher description Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XXIII, 1231 S. |
| ISBN: | 0444516905 9780444516909 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022279271 | ||
| 003 | DE-604 | ||
| 005 | 20200123 | ||
| 007 | t | ||
| 008 | 070221s2007 ne |||| 00||| eng d | ||
| 010 | |a 2006050759 | ||
| 020 | |a 0444516905 |9 0-444-51690-5 | ||
| 020 | |a 9780444516909 |9 978-0-444-51690-9 | ||
| 035 | |a (OCoLC)255545888 | ||
| 035 | |a (DE-599)BVBBV022279271 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c NL | ||
| 049 | |a DE-29 |a DE-355 | ||
| 050 | 0 | |a BC199.M6 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 5,3 |2 ssgn | ||
| 245 | 1 | 0 | |a Handbook of modal logic |c ed. by Patrick Blackburn ... |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2007 | |
| 300 | |a XXIII, 1231 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and practical reasoning |v 3 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Lógica matemática |2 larpcal | |
| 650 | 7 | |a Lógica modal |2 larpcal | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 4 | |a Modalité (Logique) - Guides, manuels, etc | |
| 650 | 4 | |a Modality (Logic) |v Handbooks, manuals, etc | |
| 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 | |
| 700 | 1 | |a Blackburn, Patrick |d 1959- |e Sonstige |0 (DE-588)174091478 |4 oth | |
| 830 | 0 | |a Studies in logic and practical reasoning |v 3 |w (DE-604)BV016978525 |9 3 | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0665/2006050759-d.html |3 Publisher description | |
| 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=015489610&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015489610 | ||
Datensatz im Suchindex
| _version_ | 1804136287061409792 |
|---|---|
| adam_text | CONTENTS LIST OF CONTRIBUTORS PREFACE P. BLACKBURN, J. VAN BENTHEM AND
F. WOLTER PART 1. BASIC THEORY 1 MODAL LOGIC: A SEMANTIC PERSPECTIVE P.
BLACKBURN AND J. VAN BENTHEM VII XL 1 2 3 MODAL PROOF THEORY M. FITTING
COMPLEXITY OF MODAL LOGIC M. MARX 85 139 4 COMPUTATIONAL MODAL LOGIC I.
HORROCKS, U. HUSTADT, U. SATTLER, AND R. SCHMIDT PART 2. ADVANCED THEORY
181 5 6 7 MODEL THEORY OF MODAL LOGIC V. GORANKO AND M. OTTO ALGEBRAS
AND CO-ALGEBRAS Y. VENEMA MODAL DECISION PROBLEMS F. WOLTER AND M.
ZAKHARYASCHEV 249 331 427 8 MODAL CONSEQUENCE RELATIONS M. KRACHT PART
3. VARIATIONS AND EXTENSIONS 9 FIRST-ORDER MODAL LOGIC T. BRAUENER AND S.
GHILARDI 10 HIGHER-ORDER MODAL LOGIC R. MUSKENS 11 TEMPORAL LOGIC I.
HODKINSON AND M. REYNOLDS 491 549 621 655 VI 12 13 14 15 MODAL
IL-CALCULI J. BRADFIELD AND C. STIRLING DESCRIPTION LOGIC F. BAADER AND
C. LUTZ HYBRID LOGICS C. ARECES AND B. TEN CATE COMBINING MODAL LOGICS
A. KURUCZ CONTENTS 721 757 821 869 PART 4. APPLICATIONS 16 17 18 19 20
21 INDEX MODAL LOGIC IN MATHEMATICS S. ARTEMOV AUTOMATA-THEORETIC
TECHNIQUES FOR TEMPORAL REASONING M. VARDI INTELLIGENT AGENTS AND
COMMON-SENSE REASONING J.-J. MEYER AND F. VELTMAN APPLICATIONS OF MODAL
LOGIC IN LINGUISTICS L. MOSS AND H.-J. TIEDE MODAL LOGIC FOR GAMES AND
INFORMATION W. VAN DER HOEK AND M. PAULY MODAL LOGIC AND PHILOSOPHY S.
LINDSTROEM AND K. SEGERBERG 927 971 991 1031 1077 1149 1215
|
| adam_txt |
CONTENTS LIST OF CONTRIBUTORS PREFACE P. BLACKBURN, J. VAN BENTHEM AND
F. WOLTER PART 1. BASIC THEORY 1 MODAL LOGIC: A SEMANTIC PERSPECTIVE P.
BLACKBURN AND J. VAN BENTHEM VII XL 1 2 3 MODAL PROOF THEORY M. FITTING
COMPLEXITY OF MODAL LOGIC M. MARX 85 139 4 COMPUTATIONAL MODAL LOGIC I.
HORROCKS, U. HUSTADT, U. SATTLER, AND R. SCHMIDT PART 2. ADVANCED THEORY
181 5 6 7 MODEL THEORY OF MODAL LOGIC V. GORANKO AND M. OTTO ALGEBRAS
AND CO-ALGEBRAS Y. VENEMA MODAL DECISION PROBLEMS F. WOLTER AND M.
ZAKHARYASCHEV 249 331 427 8 MODAL CONSEQUENCE RELATIONS M. KRACHT PART
3. VARIATIONS AND EXTENSIONS 9 FIRST-ORDER MODAL LOGIC T. BRAUENER AND S.
GHILARDI 10 HIGHER-ORDER MODAL LOGIC R. MUSKENS 11 TEMPORAL LOGIC I.
HODKINSON AND M. REYNOLDS 491 549 621 655 VI 12 13 14 15 MODAL
IL-CALCULI J. BRADFIELD AND C. STIRLING DESCRIPTION LOGIC F. BAADER AND
C. LUTZ HYBRID LOGICS C. ARECES AND B. TEN CATE COMBINING MODAL LOGICS
A. KURUCZ CONTENTS 721 757 821 869 PART 4. APPLICATIONS 16 17 18 19 20
21 INDEX MODAL LOGIC IN MATHEMATICS S. ARTEMOV AUTOMATA-THEORETIC
TECHNIQUES FOR TEMPORAL REASONING M. VARDI INTELLIGENT AGENTS AND
COMMON-SENSE REASONING J.-J. MEYER AND F. VELTMAN APPLICATIONS OF MODAL
LOGIC IN LINGUISTICS L. MOSS AND H.-J. TIEDE MODAL LOGIC FOR GAMES AND
INFORMATION W. VAN DER HOEK AND M. PAULY MODAL LOGIC AND PHILOSOPHY S.
LINDSTROEM AND K. SEGERBERG 927 971 991 1031 1077 1149 1215 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)174091478 |
| building | Verbundindex |
| bvnumber | BV022279271 |
| 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 |
| ctrlnum | (OCoLC)255545888 (DE-599)BVBBV022279271 |
| 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 | Philosophie |
| discipline_str_mv | Philosophie |
| edition | 1st ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01911nam a2200517zcb4500</leader><controlfield tag="001">BV022279271</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200123 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070221s2007 ne |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006050759</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444516905</subfield><subfield code="9">0-444-51690-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444516909</subfield><subfield code="9">978-0-444-51690-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255545888</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022279271</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">ne</subfield><subfield code="c">NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,3</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of modal logic</subfield><subfield code="c">ed. by Patrick Blackburn ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 1231 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">Studies in logic and practical reasoning</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica modal</subfield><subfield code="2">larpcal</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">Modalité (Logique) - Guides, manuels, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield><subfield code="v">Handbooks, manuals, etc</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="700" ind1="1" ind2=" "><subfield code="a">Blackburn, Patrick</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)174091478</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and practical reasoning</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV016978525</subfield><subfield code="9">3</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0665/2006050759-d.html</subfield><subfield code="3">Publisher description</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=015489610&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-015489610</subfield></datafield></record></collection> |
| id | DE-604.BV022279271 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:48:50Z |
| indexdate | 2024-07-09T20:54:00Z |
| institution | BVB |
| isbn | 0444516905 9780444516909 |
| language | English |
| lccn | 2006050759 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015489610 |
| oclc_num | 255545888 |
| open_access_boolean | |
| owner | DE-29 DE-355 DE-BY-UBR |
| owner_facet | DE-29 DE-355 DE-BY-UBR |
| physical | XXIII, 1231 S. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Elsevier |
| record_format | marc |
| series | Studies in logic and practical reasoning |
| series2 | Studies in logic and practical reasoning |
| spelling | Handbook of modal logic ed. by Patrick Blackburn ... 1st ed. Amsterdam [u.a.] Elsevier 2007 XXIII, 1231 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and practical reasoning 3 Includes bibliographical references and index Lógica matemática larpcal Lógica modal larpcal Modale logica gtt Modalité (Logique) - Guides, manuels, etc Modality (Logic) Handbooks, manuals, etc Modallogik (DE-588)4074914-9 gnd rswk-swf Modallogik (DE-588)4074914-9 s DE-604 Blackburn, Patrick 1959- Sonstige (DE-588)174091478 oth Studies in logic and practical reasoning 3 (DE-604)BV016978525 3 http://www.loc.gov/catdir/enhancements/fy0665/2006050759-d.html Publisher description V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015489610&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of modal logic Studies in logic and practical reasoning Lógica matemática larpcal Lógica modal larpcal Modale logica gtt Modalité (Logique) - Guides, manuels, etc Modality (Logic) Handbooks, manuals, etc Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4074914-9 |
| title | Handbook of modal logic |
| title_auth | Handbook of modal logic |
| title_exact_search | Handbook of modal logic |
| title_exact_search_txtP | Handbook of modal logic |
| title_full | Handbook of modal logic ed. by Patrick Blackburn ... |
| title_fullStr | Handbook of modal logic ed. by Patrick Blackburn ... |
| title_full_unstemmed | Handbook of modal logic ed. by Patrick Blackburn ... |
| title_short | Handbook of modal logic |
| title_sort | handbook of modal logic |
| topic | Lógica matemática larpcal Lógica modal larpcal Modale logica gtt Modalité (Logique) - Guides, manuels, etc Modality (Logic) Handbooks, manuals, etc Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Lógica matemática Lógica modal Modale logica Modalité (Logique) - Guides, manuels, etc Modality (Logic) Handbooks, manuals, etc Modallogik |
| url | http://www.loc.gov/catdir/enhancements/fy0665/2006050759-d.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015489610&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV016978525 |
| work_keys_str_mv | AT blackburnpatrick handbookofmodallogic |