A new introduction to modal logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London
Routledge
1996
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references (pages 384-397) and index Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications |
| Physical Description: | 1 Online-Ressource (x, 421 pages) |
| ISBN: | 0203028104 1134800282 9780203028100 9780415125994 9780415126007 9781134800285 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043090204 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1996 |||| o||u| ||||||eng d | ||
| 020 | |a 0203028104 |c electronic bk. |9 0-203-02810-4 | ||
| 020 | |a 1134800282 |c electronic bk. |9 1-134-80028-2 | ||
| 020 | |a 9780203028100 |9 978-0-203-02810-0 | ||
| 020 | |a 9780415125994 |9 978-0-415-12599-4 | ||
| 020 | |a 9780415126007 |9 978-0-415-12600-7 | ||
| 020 | |a 9781134800285 |c electronic bk. |9 978-1-134-80028-5 | ||
| 035 | |a (OCoLC)70763309 | ||
| 035 | |a (DE-599)BVBBV043090204 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 160 |2 20 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 100 | 1 | |a Hughes, G. E., (George Edward) |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A new introduction to modal logic |c G.E. Hughes and M.J. Cresswell |
| 264 | 1 | |a London |b Routledge |c 1996 | |
| 300 | |a 1 Online-Ressource (x, 421 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 384-397) and index | ||
| 500 | |a Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index | ||
| 500 | |a This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications | ||
| 650 | 4 | |a logique modale | |
| 650 | 4 | |a calcul propositionnel | |
| 650 | 4 | |a calcul prédicat | |
| 650 | 7 | |a PHILOSOPHY / Logic |2 bisacsh | |
| 650 | 7 | |a Modality (Logic) |2 fast | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 7 | |a Modallogik |2 gnd | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 7 | |a Logique mathématique non classique |2 ram | |
| 650 | 7 | |a Modalité (logique) |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Modallogik |2 swd | |
| 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)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Cresswell, M. J. |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-415-12599-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 0-415-12600-2 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028514396 | ||
| 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 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175490439708672 |
|---|---|
| any_adam_object | |
| author | Hughes, G. E., (George Edward) |
| author_facet | Hughes, G. E., (George Edward) |
| author_role | aut |
| author_sort | Hughes, G. E., (George Edward) |
| author_variant | g e g e h gege gegeh |
| building | Verbundindex |
| bvnumber | BV043090204 |
| classification_rvk | CC 2400 CC 2500 CC 2600 SK 130 ST 125 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)70763309 (DE-599)BVBBV043090204 |
| 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 Mathematik Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03733nmm a2200733zc 4500</leader><controlfield tag="001">BV043090204</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203028104</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-203-02810-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134800282</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-134-80028-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203028100</subfield><subfield code="9">978-0-203-02810-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415125994</subfield><subfield code="9">978-0-415-12599-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415126007</subfield><subfield code="9">978-0-415-12600-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134800285</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-134-80028-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)70763309</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043090204</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><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</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">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hughes, G. E., (George Edward)</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A new introduction to modal logic</subfield><subfield code="c">G.E. Hughes and M.J. Cresswell</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Routledge</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 421 pages)</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 384-397) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique modale</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">calcul propositionnel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">calcul prédicat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / 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">Modale logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modallogik</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique mathématique non classique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modalité (logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modallogik</subfield><subfield code="2">swd</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)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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cresswell, M. J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-415-12599-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">0-415-12600-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028514396</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV043090204 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:07Z |
| institution | BVB |
| isbn | 0203028104 1134800282 9780203028100 9780415125994 9780415126007 9781134800285 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028514396 |
| oclc_num | 70763309 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 421 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Routledge |
| record_format | marc |
| spelling | Hughes, G. E., (George Edward) Verfasser aut A new introduction to modal logic G.E. Hughes and M.J. Cresswell London Routledge 1996 1 Online-Ressource (x, 421 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 384-397) and index Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications logique modale calcul propositionnel calcul prédicat PHILOSOPHY / Logic bisacsh Modality (Logic) fast Modale logica gtt Modallogik gnd Logica matematica larpcal Logique mathématique non classique ram Modalité (logique) ram Logique symbolique et mathématique ram Modallogik swd Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Modallogik (DE-588)4074914-9 s 2\p DE-604 Cresswell, M. J. Sonstige oth Erscheint auch als Druck-Ausgabe, Hardcover 0-415-12599-5 Erscheint auch als Druck-Ausgabe, Paperback 0-415-12600-2 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985 Aggregator 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 | Hughes, G. E., (George Edward) A new introduction to modal logic logique modale calcul propositionnel calcul prédicat PHILOSOPHY / Logic bisacsh Modality (Logic) fast Modale logica gtt Modallogik gnd Logica matematica larpcal Logique mathématique non classique ram Modalité (logique) ram Logique symbolique et mathématique ram Modallogik swd Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4151278-9 |
| title | A new introduction to modal logic |
| title_auth | A new introduction to modal logic |
| title_exact_search | A new introduction to modal logic |
| title_full | A new introduction to modal logic G.E. Hughes and M.J. Cresswell |
| title_fullStr | A new introduction to modal logic G.E. Hughes and M.J. Cresswell |
| title_full_unstemmed | A new introduction to modal logic G.E. Hughes and M.J. Cresswell |
| title_short | A new introduction to modal logic |
| title_sort | a new introduction to modal logic |
| topic | logique modale calcul propositionnel calcul prédicat PHILOSOPHY / Logic bisacsh Modality (Logic) fast Modale logica gtt Modallogik gnd Logica matematica larpcal Logique mathématique non classique ram Modalité (logique) ram Logique symbolique et mathématique ram Modallogik swd Modality (Logic) Modallogik (DE-588)4074914-9 gnd |
| topic_facet | logique modale calcul propositionnel calcul prédicat PHILOSOPHY / Logic Modality (Logic) Modale logica Modallogik Logica matematica Logique mathématique non classique Modalité (logique) Logique symbolique et mathématique Einführung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=459985 |
| work_keys_str_mv | AT hughesgegeorgeedward anewintroductiontomodallogic AT cresswellmj anewintroductiontomodallogic |