Tools and techniques in modal logic:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Amsterdam
Elsevier
1999
|
Ausgabe: | 1st ed |
Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 142 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book Includes bibliographical references (p. 549-559) and index |
Beschreibung: | 1 Online-Ressource (xiii, 559 p.) |
ISBN: | 9780444500557 0444500553 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042317279 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150129s1999 |||| o||u| ||||||eng d | ||
020 | |a 9780444500557 |9 978-0-444-50055-7 | ||
020 | |a 0444500553 |9 0-444-50055-3 | ||
035 | |a (ZDB-33-EBS)ocn162130911 | ||
035 | |a (OCoLC)162130911 | ||
035 | |a (DE-599)BVBBV042317279 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-1046 | ||
082 | 0 | |a 511.3 |2 22 | |
100 | 1 | |a Kracht, Marcus |e Verfasser |4 aut | |
245 | 1 | 0 | |a Tools and techniques in modal logic |c Marcus Kracht |
250 | |a 1st ed | ||
264 | 1 | |a Amsterdam |b Elsevier |c 1999 | |
300 | |a 1 Online-Ressource (xiii, 559 p.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 142 | |
500 | |a This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book | ||
500 | |a Includes bibliographical references (p. 549-559) and index | ||
650 | 4 | |a Modalité (Logique) | |
650 | 7 | |a Modale logica |2 gtt | |
650 | 7 | |a Modallogik |2 swd | |
650 | 7 | |a Modality (Logic) |2 fast | |
650 | 4 | |a Modality (Logic) | |
650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444500557 |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-027754269 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804152913561387009 |
---|---|
any_adam_object | |
author | Kracht, Marcus |
author_facet | Kracht, Marcus |
author_role | aut |
author_sort | Kracht, Marcus |
author_variant | m k mk |
building | Verbundindex |
bvnumber | BV042317279 |
collection | ZDB-33-ESD ZDB-33-EBS |
ctrlnum | (ZDB-33-EBS)ocn162130911 (OCoLC)162130911 (DE-599)BVBBV042317279 |
dewey-full | 511.3 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3 |
dewey-search | 511.3 |
dewey-sort | 3511.3 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
edition | 1st ed |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02210nmm a2200517zcb4500</leader><controlfield tag="001">BV042317279</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444500557</subfield><subfield code="9">978-0-444-50055-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444500553</subfield><subfield code="9">0-444-50055-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162130911</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130911</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317279</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">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kracht, Marcus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and techniques in modal logic</subfield><subfield code="c">Marcus Kracht</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">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 559 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 the foundations of mathematics</subfield><subfield code="v">v. 142</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 549-559) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modalité (Logique)</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">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></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="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444500557</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-027754269</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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> |
genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV042317279 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:18:16Z |
institution | BVB |
isbn | 9780444500557 0444500553 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754269 |
oclc_num | 162130911 |
open_access_boolean | |
owner | DE-1046 |
owner_facet | DE-1046 |
physical | 1 Online-Ressource (xiii, 559 p.) |
psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
publishDate | 1999 |
publishDateSearch | 1999 |
publishDateSort | 1999 |
publisher | Elsevier |
record_format | marc |
series2 | Studies in logic and the foundations of mathematics |
spelling | Kracht, Marcus Verfasser aut Tools and techniques in modal logic Marcus Kracht 1st ed Amsterdam Elsevier 1999 1 Online-Ressource (xiii, 559 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 142 This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book Includes bibliographical references (p. 549-559) and index Modalité (Logique) Modale logica gtt Modallogik swd Modality (Logic) fast Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Modallogik (DE-588)4074914-9 s 2\p DE-604 http://www.sciencedirect.com/science/book/9780444500557 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Kracht, Marcus Tools and techniques in modal logic Modalité (Logique) Modale logica gtt Modallogik swd Modality (Logic) fast Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
subject_GND | (DE-588)4074914-9 (DE-588)4113937-9 |
title | Tools and techniques in modal logic |
title_auth | Tools and techniques in modal logic |
title_exact_search | Tools and techniques in modal logic |
title_full | Tools and techniques in modal logic Marcus Kracht |
title_fullStr | Tools and techniques in modal logic Marcus Kracht |
title_full_unstemmed | Tools and techniques in modal logic Marcus Kracht |
title_short | Tools and techniques in modal logic |
title_sort | tools and techniques in modal logic |
topic | Modalité (Logique) Modale logica gtt Modallogik swd Modality (Logic) fast Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
topic_facet | Modalité (Logique) Modale logica Modallogik Modality (Logic) Hochschulschrift |
url | http://www.sciencedirect.com/science/book/9780444500557 |
work_keys_str_mv | AT krachtmarcus toolsandtechniquesinmodallogic |