Modal logic for philosophers /:
"Designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus."--Jacket
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
2006.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "Designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus."--Jacket |
| Beschreibung: | 1 online resource (xv, 455 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 445-448) and index. |
| ISBN: | 9780511282140 0511282141 9780511617737 0511617739 1139810588 9781139810586 0511281382 9780511281389 0511280963 9780511280962 0511281765 9780511281761 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn829706616 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130311s2006 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d E7B |d IDEBK |d OCLCF |d YDXCP |d MNU |d UIU |d EBLCP |d MHW |d OCLCQ |d HEBIS |d OCLCO |d UAB |d OCLCQ |d AGLDB |d SNK |d AU@ |d OCLCO |d UKAHL |d OL$ |d OCLCQ |d OCL |d OCLCQ |d VLY |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 668200594 |a 732957749 |a 1162505685 |a 1167232517 |a 1241945114 | ||
| 020 | |a 9780511282140 |q (electronic bk.) | ||
| 020 | |a 0511282141 |q (electronic bk.) | ||
| 020 | |a 9780511617737 |q (e-book) | ||
| 020 | |a 0511617739 |q (e-book) | ||
| 020 | |a 1139810588 | ||
| 020 | |a 9781139810586 | ||
| 020 | |a 0511281382 | ||
| 020 | |a 9780511281389 | ||
| 020 | |a 0511280963 | ||
| 020 | |a 9780511280962 | ||
| 020 | |a 0511281765 | ||
| 020 | |a 9780511281761 | ||
| 020 | |z 0521863678 | ||
| 020 | |z 0521682290 | ||
| 020 | |z 9780521863674 | ||
| 020 | |z 9780521682299 | ||
| 035 | |a (OCoLC)829706616 |z (OCoLC)668200594 |z (OCoLC)732957749 |z (OCoLC)1162505685 |z (OCoLC)1167232517 |z (OCoLC)1241945114 | ||
| 050 | 4 | |a BC199.M6 |b G38 2006eb | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 7 | |a 160 |2 22 | |
| 084 | |a 08.33 |2 bcl | ||
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a CC 2400 |2 rvk | ||
| 084 | |a SK 130 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Garson, James W., |d 1943- | |
| 245 | 1 | 0 | |a Modal logic for philosophers / |c James W. Garson. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2006. | ||
| 300 | |a 1 online resource (xv, 455 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 445-448) and index. | ||
| 520 | 1 | |a "Designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus."--Jacket | |
| 505 | 0 | 0 | |t Introduction : what is modal logic? -- |g 1. |t The system K : a foundation for modal logic -- |g 2. |t Extensions of K -- |g 3. |t Basic concepts of intensional semantics -- |g 4. |t Trees for K -- |g 5. |t The accessibility relation -- |g 6. |t Trees for extensions of K -- |g 7. |t Converting trees to proofs -- |g 8. |t Adequacy of propositional modal logics -- |g 9. |t Completeness using canonical models -- |g 10. |t Axioms and their corresponding conditions on R -- |g 11. |t Relations between the modal logics -- |g 12. |t Systems for quantified modal logic -- |g 13. |t Semantics for quantified modal logics -- |g 14. |t Trees for quantified modal logic -- |g 15. |t The adequacy of quantified modal logics -- |g 16. |t Completeness of quantified modal logics using trees. |
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Modality (Logic) |v Textbooks. | |
| 650 | 6 | |a Modalité (Logique) |v Manuels d'enseignement supérieur. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Modality (Logic) |2 fast | |
| 650 | 7 | |a Modallogik |2 gnd |0 http://d-nb.info/gnd/4074914-9 | |
| 655 | 7 | |a Textbooks |2 fast | |
| 655 | 7 | |a Lehrbuch. |2 swd | |
| 776 | 0 | 8 | |i Print version: |a Garson, James W., 1943- |t Modal logic for philosophers. |d Cambridge ; New York : Cambridge University Press, 2006 |z 0521863678 |w (DLC) 2006001152 |w (OCoLC)63164861 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=527569 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13427200 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH33124047 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1357457 | ||
| 938 | |a ebrary |b EBRY |n ebr10468783 | ||
| 938 | |a EBSCOhost |b EBSC |n 527569 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25070034 | ||
| 938 | |a YBP Library Services |b YANK |n 10258392 | ||
| 938 | |a YBP Library Services |b YANK |n 3279229 | ||
| 938 | |a YBP Library Services |b YANK |n 10435373 | ||
| 938 | |a YBP Library Services |b YANK |n 11086928 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn829706616 |
|---|---|
| _version_ | 1816882224454172672 |
| adam_text | |
| any_adam_object | |
| author | Garson, James W., 1943- |
| author_facet | Garson, James W., 1943- |
| author_role | |
| author_sort | Garson, James W., 1943- |
| author_variant | j w g jw jwg |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.M6 G38 2006eb |
| callnumber-search | BC199.M6 G38 2006eb |
| callnumber-sort | BC 3199 M6 G38 42006EB |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 SK 130 |
| collection | ZDB-4-EBA |
| contents | Introduction : what is modal logic? -- The system K : a foundation for modal logic -- Extensions of K -- Basic concepts of intensional semantics -- Trees for K -- The accessibility relation -- Trees for extensions of K -- Converting trees to proofs -- Adequacy of propositional modal logics -- Completeness using canonical models -- Axioms and their corresponding conditions on R -- Relations between the modal logics -- Systems for quantified modal logic -- Semantics for quantified modal logics -- Trees for quantified modal logic -- The adequacy of quantified modal logics -- Completeness of quantified modal logics using trees. |
| ctrlnum | (OCoLC)829706616 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04165cam a2200817 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn829706616</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130311s2006 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">E7B</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCF</subfield><subfield code="d">YDXCP</subfield><subfield code="d">MNU</subfield><subfield code="d">UIU</subfield><subfield code="d">EBLCP</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HEBIS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">SNK</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VLY</subfield><subfield code="d">LUN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">668200594</subfield><subfield code="a">732957749</subfield><subfield code="a">1162505685</subfield><subfield code="a">1167232517</subfield><subfield code="a">1241945114</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511282140</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511282141</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511617737</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511617739</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139810588</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139810586</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511281382</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511281389</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511280963</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511280962</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511281765</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511281761</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521863678</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521682290</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521863674</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521682299</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)829706616</subfield><subfield code="z">(OCoLC)668200594</subfield><subfield code="z">(OCoLC)732957749</subfield><subfield code="z">(OCoLC)1162505685</subfield><subfield code="z">(OCoLC)1167232517</subfield><subfield code="z">(OCoLC)1241945114</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC199.M6</subfield><subfield code="b">G38 2006eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI</subfield><subfield code="x">011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">08.33</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</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="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garson, James W.,</subfield><subfield code="d">1943-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal logic for philosophers /</subfield><subfield code="c">James W. Garson.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xv, 455 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 445-448) and index.</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">"Designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus."--Jacket</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Introduction : what is modal logic? --</subfield><subfield code="g">1.</subfield><subfield code="t">The system K : a foundation for modal logic --</subfield><subfield code="g">2.</subfield><subfield code="t">Extensions of K --</subfield><subfield code="g">3.</subfield><subfield code="t">Basic concepts of intensional semantics --</subfield><subfield code="g">4.</subfield><subfield code="t">Trees for K --</subfield><subfield code="g">5.</subfield><subfield code="t">The accessibility relation --</subfield><subfield code="g">6.</subfield><subfield code="t">Trees for extensions of K --</subfield><subfield code="g">7.</subfield><subfield code="t">Converting trees to proofs --</subfield><subfield code="g">8.</subfield><subfield code="t">Adequacy of propositional modal logics --</subfield><subfield code="g">9.</subfield><subfield code="t">Completeness using canonical models --</subfield><subfield code="g">10.</subfield><subfield code="t">Axioms and their corresponding conditions on R --</subfield><subfield code="g">11.</subfield><subfield code="t">Relations between the modal logics --</subfield><subfield code="g">12.</subfield><subfield code="t">Systems for quantified modal logic --</subfield><subfield code="g">13.</subfield><subfield code="t">Semantics for quantified modal logics --</subfield><subfield code="g">14.</subfield><subfield code="t">Trees for quantified modal logic --</subfield><subfield code="g">15.</subfield><subfield code="t">The adequacy of quantified modal logics --</subfield><subfield code="g">16.</subfield><subfield code="t">Completeness of quantified modal logics using trees.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Modality (Logic)</subfield><subfield code="v">Textbooks.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Modalité (Logique)</subfield><subfield code="v">Manuels d'enseignement supérieur.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</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="7"><subfield code="a">Modallogik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4074914-9</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Textbooks</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Lehrbuch.</subfield><subfield code="2">swd</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Garson, James W., 1943-</subfield><subfield code="t">Modal logic for philosophers.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press, 2006</subfield><subfield code="z">0521863678</subfield><subfield code="w">(DLC) 2006001152</subfield><subfield code="w">(OCoLC)63164861</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=527569</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13427200</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH33124047</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1357457</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10468783</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">527569</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis25070034</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10258392</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3279229</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10435373</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11086928</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Textbooks fast Lehrbuch. swd |
| genre_facet | Textbooks Lehrbuch. |
| id | ZDB-4-EBA-ocn829706616 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:13Z |
| institution | BVB |
| isbn | 9780511282140 0511282141 9780511617737 0511617739 1139810588 9781139810586 0511281382 9780511281389 0511280963 9780511280962 0511281765 9780511281761 |
| language | English |
| oclc_num | 829706616 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xv, 455 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Cambridge University Press, |
| record_format | marc |
| spelling | Garson, James W., 1943- Modal logic for philosophers / James W. Garson. Cambridge ; New York : Cambridge University Press, 2006. 1 online resource (xv, 455 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references (pages 445-448) and index. "Designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus."--Jacket Introduction : what is modal logic? -- 1. The system K : a foundation for modal logic -- 2. Extensions of K -- 3. Basic concepts of intensional semantics -- 4. Trees for K -- 5. The accessibility relation -- 6. Trees for extensions of K -- 7. Converting trees to proofs -- 8. Adequacy of propositional modal logics -- 9. Completeness using canonical models -- 10. Axioms and their corresponding conditions on R -- 11. Relations between the modal logics -- 12. Systems for quantified modal logic -- 13. Semantics for quantified modal logics -- 14. Trees for quantified modal logic -- 15. The adequacy of quantified modal logics -- 16. Completeness of quantified modal logics using trees. Print version record. English. Modality (Logic) Textbooks. Modalité (Logique) Manuels d'enseignement supérieur. PHILOSOPHY Logic. bisacsh Modality (Logic) fast Modallogik gnd http://d-nb.info/gnd/4074914-9 Textbooks fast Lehrbuch. swd Print version: Garson, James W., 1943- Modal logic for philosophers. Cambridge ; New York : Cambridge University Press, 2006 0521863678 (DLC) 2006001152 (OCoLC)63164861 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=527569 Volltext |
| spellingShingle | Garson, James W., 1943- Modal logic for philosophers / Introduction : what is modal logic? -- The system K : a foundation for modal logic -- Extensions of K -- Basic concepts of intensional semantics -- Trees for K -- The accessibility relation -- Trees for extensions of K -- Converting trees to proofs -- Adequacy of propositional modal logics -- Completeness using canonical models -- Axioms and their corresponding conditions on R -- Relations between the modal logics -- Systems for quantified modal logic -- Semantics for quantified modal logics -- Trees for quantified modal logic -- The adequacy of quantified modal logics -- Completeness of quantified modal logics using trees. Modality (Logic) Textbooks. Modalité (Logique) Manuels d'enseignement supérieur. PHILOSOPHY Logic. bisacsh Modality (Logic) fast Modallogik gnd http://d-nb.info/gnd/4074914-9 |
| subject_GND | http://d-nb.info/gnd/4074914-9 |
| title | Modal logic for philosophers / |
| title_alt | Introduction : what is modal logic? -- The system K : a foundation for modal logic -- Extensions of K -- Basic concepts of intensional semantics -- Trees for K -- The accessibility relation -- Trees for extensions of K -- Converting trees to proofs -- Adequacy of propositional modal logics -- Completeness using canonical models -- Axioms and their corresponding conditions on R -- Relations between the modal logics -- Systems for quantified modal logic -- Semantics for quantified modal logics -- Trees for quantified modal logic -- The adequacy of quantified modal logics -- Completeness of quantified modal logics using trees. |
| title_auth | Modal logic for philosophers / |
| title_exact_search | Modal logic for philosophers / |
| title_full | Modal logic for philosophers / James W. Garson. |
| title_fullStr | Modal logic for philosophers / James W. Garson. |
| title_full_unstemmed | Modal logic for philosophers / James W. Garson. |
| title_short | Modal logic for philosophers / |
| title_sort | modal logic for philosophers |
| topic | Modality (Logic) Textbooks. Modalité (Logique) Manuels d'enseignement supérieur. PHILOSOPHY Logic. bisacsh Modality (Logic) fast Modallogik gnd http://d-nb.info/gnd/4074914-9 |
| topic_facet | Modality (Logic) Textbooks. Modalité (Logique) Manuels d'enseignement supérieur. PHILOSOPHY Logic. Modality (Logic) Modallogik Textbooks Lehrbuch. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=527569 |
| work_keys_str_mv | AT garsonjamesw modallogicforphilosophers |