Handbook of modal logic:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
2007
|
| Ausgabe: | 1st ed |
| Schriftenreihe: | Studies in logic and practical reasoning
v. 3 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource (xxiii, 1231 p.) |
| ISBN: | 9780444516909 0444516905 9780080466668 0080466664 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317177 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444516909 |9 978-0-444-51690-9 | ||
| 020 | |a 0444516905 |9 0-444-51690-5 | ||
| 020 | |a 9780080466668 |c electronic bk. |9 978-0-08-046666-8 | ||
| 020 | |a 0080466664 |c electronic bk. |9 0-08-046666-4 | ||
| 035 | |a (ZDB-33-EBS)ocn162580378 | ||
| 035 | |a (OCoLC)162580378 | ||
| 035 | |a (DE-599)BVBBV042317177 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 160 |2 22 | |
| 245 | 1 | 0 | |a Handbook of modal logic |c edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b Elsevier |c 2007 | |
| 300 | |a 1 Online-Ressource (xxiii, 1231 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and practical reasoning |v v. 3 | |
| 500 | |a The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Handbooks, manuals, etc |2 fast | |
| 650 | 4 | |a Modalité (Logique) / Guides, manuels, etc | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 7 | |a Lógica matemática |2 larpcal | |
| 650 | 7 | |a Lógica modal |2 larpcal | |
| 650 | 7 | |a Modallogik |2 swd | |
| 650 | 7 | |a Modality (Logic) |2 fast | |
| 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 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Blackburn, Patrick |e Sonstige |4 oth | |
| 700 | 1 | |a Benthem, Johan van |e Sonstige |4 oth | |
| 700 | 1 | |a Wolter, Frank |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444516909 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754168 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152913324408832 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042317177 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162580378 (OCoLC)162580378 (DE-599)BVBBV042317177 |
| 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 |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02960nmm a2200577zcb4500</leader><controlfield tag="001">BV042317177</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444516909</subfield><subfield code="9">978-0-444-51690-9</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">9780080466668</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-046666-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080466664</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-046666-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162580378</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162580378</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317177</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="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of modal logic</subfield><subfield code="c">edited by Patrick Blackburn, Johan van Benthem, Frank Wolter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxiii, 1231 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and practical reasoning</subfield><subfield code="v">v. 3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth</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">Handbooks, manuals, etc</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modalité (Logique) / Guides, manuels, etc</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="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">Modallogik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modality (Logic)</subfield><subfield code="2">fast</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Blackburn, Patrick</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolter, Frank</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444516909</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754168</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042317177 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444516909 0444516905 9780080466668 0080466664 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754168 |
| oclc_num | 162580378 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xxiii, 1231 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and practical reasoning |
| spelling | Handbook of modal logic edited by Patrick Blackburn, Johan van Benthem, Frank Wolter 1st ed Amsterdam Elsevier 2007 1 Online-Ressource (xxiii, 1231 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and practical reasoning v. 3 The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth Includes bibliographical references and index Handbooks, manuals, etc fast Modalité (Logique) / Guides, manuels, etc Modale logica gtt Lógica matemática larpcal Lógica modal larpcal Modallogik swd Modality (Logic) fast Modality (Logic) Handbooks, manuals, etc Modallogik (DE-588)4074914-9 gnd rswk-swf Modallogik (DE-588)4074914-9 s 1\p DE-604 Blackburn, Patrick Sonstige oth Benthem, Johan van Sonstige oth Wolter, Frank Sonstige oth http://www.sciencedirect.com/science/book/9780444516909 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Handbook of modal logic Handbooks, manuals, etc fast Modalité (Logique) / Guides, manuels, etc Modale logica gtt Lógica matemática larpcal Lógica modal larpcal Modallogik swd Modality (Logic) fast 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_full | Handbook of modal logic edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| title_fullStr | Handbook of modal logic edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| title_full_unstemmed | Handbook of modal logic edited by Patrick Blackburn, Johan van Benthem, Frank Wolter |
| title_short | Handbook of modal logic |
| title_sort | handbook of modal logic |
| topic | Handbooks, manuals, etc fast Modalité (Logique) / Guides, manuels, etc Modale logica gtt Lógica matemática larpcal Lógica modal larpcal Modallogik swd Modality (Logic) fast Modality (Logic) Handbooks, manuals, etc Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Handbooks, manuals, etc Modalité (Logique) / Guides, manuels, etc Modale logica Lógica matemática Lógica modal Modallogik Modality (Logic) Modality (Logic) Handbooks, manuals, etc |
| url | http://www.sciencedirect.com/science/book/9780444516909 |
| work_keys_str_mv | AT blackburnpatrick handbookofmodallogic AT benthemjohanvan handbookofmodallogic AT wolterfrank handbookofmodallogic |