A new introduction to modal logic /:
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.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London ; New York :
Routledge,
1996.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (x, 421 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 384-397) and index. |
| ISBN: | 0203028104 9780203028100 9781134800285 1134800282 9786610110865 6610110867 1280110864 9781280110863 1134800274 9781134800278 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm70763309 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 950328s1996 enka ob 001 0 eng d | ||
| 040 | |a INU |b eng |e pn |c INU |d OCLCG |d OCLCQ |d MT4IT |d YDXCP |d OCLCQ |d DKDLA |d ADU |d E7B |d MHW |d QE2 |d IDEBK |d N$T |d EBLCP |d OCLCQ |d OCLCF |d OCLCQ |d UKDOC |d OCLCQ |d TYFRS |d OCLCQ |d AZK |d JBG |d LOA |d OCLCO |d AGLDB |d MOR |d PIFBR |d ZCU |d OTZ |d OCLCQ |d MERUC |d OCLCQ |d COCUF |d OCLCQ |d OCLCO |d U3W |d KIJ |d OCLCO |d CN8ML |d STF |d WRM |d OCLCQ |d VTS |d CEF |d NRAMU |d ICG |d REC |d VT2 |d OCLCQ |d AU@ |d LHU |d FVL |d BRX |d WYU |d UWO |d TKN |d OCLCO |d DKC |d OCLCQ |d CNTRU |d OCLCQ |d HS0 |d UWK |d OCLCO |d OCLCQ |d K6U |d OCLCO |d SFB |d OCLCQ |d BOL |d OCLCQ |d TUHNV |d OCLCO |d DST |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SXB |d OCLCQ | ||
| 019 | |a 171114920 |a 252959071 |a 456019494 |a 474152768 |a 614610803 |a 646709584 |a 756866309 |a 796796307 |a 888502726 |a 961566347 |a 962632089 |a 963359460 |a 968286448 |a 988479234 |a 992040899 |a 994687319 |a 1037751403 |a 1038619693 |a 1044230137 |a 1044231780 |a 1045483030 |a 1048182177 |a 1055346715 |a 1056334740 |a 1056371005 |a 1058142888 |a 1059524481 |a 1059779903 |a 1060850152 |a 1064999937 |a 1086925780 |a 1086940784 |a 1097265007 |a 1097338844 |a 1099561421 |a 1107339470 |a 1109356638 |a 1110273636 |a 1114423296 |a 1125530779 |a 1125629755 |a 1136170200 |a 1136339253 |a 1153037080 |a 1162033387 |a 1228549641 |a 1241763349 |a 1243568999 |a 1252729932 |a 1286907942 |a 1290040346 |a 1300643307 | ||
| 020 | |a 0203028104 |q (electronic bk.) | ||
| 020 | |a 9780203028100 | ||
| 020 | |a 9781134800285 |q (electronic bk.) | ||
| 020 | |a 1134800282 |q (electronic bk.) | ||
| 020 | |a 9786610110865 | ||
| 020 | |a 6610110867 | ||
| 020 | |a 1280110864 | ||
| 020 | |a 9781280110863 | ||
| 020 | |a 1134800274 | ||
| 020 | |a 9781134800278 | ||
| 020 | |z 0415125995 |q (hbk.) | ||
| 020 | |z 0415126002 |q (pbk.) | ||
| 020 | |z 9780415125994 | ||
| 020 | |z 9780415126007 | ||
| 024 | 7 | |a 10.4324/9780203028100 |2 doi | |
| 027 | |a MYILIB_CUp | ||
| 035 | |a (OCoLC)70763309 |z (OCoLC)171114920 |z (OCoLC)252959071 |z (OCoLC)456019494 |z (OCoLC)474152768 |z (OCoLC)614610803 |z (OCoLC)646709584 |z (OCoLC)756866309 |z (OCoLC)796796307 |z (OCoLC)888502726 |z (OCoLC)961566347 |z (OCoLC)962632089 |z (OCoLC)963359460 |z (OCoLC)968286448 |z (OCoLC)988479234 |z (OCoLC)992040899 |z (OCoLC)994687319 |z (OCoLC)1037751403 |z (OCoLC)1038619693 |z (OCoLC)1044230137 |z (OCoLC)1044231780 |z (OCoLC)1045483030 |z (OCoLC)1048182177 |z (OCoLC)1055346715 |z (OCoLC)1056334740 |z (OCoLC)1056371005 |z (OCoLC)1058142888 |z (OCoLC)1059524481 |z (OCoLC)1059779903 |z (OCoLC)1060850152 |z (OCoLC)1064999937 |z (OCoLC)1086925780 |z (OCoLC)1086940784 |z (OCoLC)1097265007 |z (OCoLC)1097338844 |z (OCoLC)1099561421 |z (OCoLC)1107339470 |z (OCoLC)1109356638 |z (OCoLC)1110273636 |z (OCoLC)1114423296 |z (OCoLC)1125530779 |z (OCoLC)1125629755 |z (OCoLC)1136170200 |z (OCoLC)1136339253 |z (OCoLC)1153037080 |z (OCoLC)1162033387 |z (OCoLC)1228549641 |z (OCoLC)1241763349 |z (OCoLC)1243568999 |z (OCoLC)1252729932 |z (OCoLC)1286907942 |z (OCoLC)1290040346 |z (OCoLC)1300643307 | ||
| 050 | 4 | |a BC199.M6 |b H85 1996eb | |
| 055 | 1 | 3 | |a BC199.M6 |b H85 1996eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 7 | |a 160 |2 20 | |
| 084 | |a 08.33 |2 bcl | ||
| 084 | |a CC 2400 |2 rvk | ||
| 084 | |a CC 2500 |2 rvk | ||
| 084 | |a CC 2600 |2 rvk | ||
| 084 | |a SK 130 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a PHI 370f |2 stub | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Hughes, G. E. |q (George Edward), |d 1918- |1 https://id.oclc.org/worldcat/entity/E39PBJxmFBhhRFVvcYMk7khGpP |0 http://id.loc.gov/authorities/names/n84088041 | |
| 245 | 1 | 2 | |a A new introduction to modal logic / |c G.E. Hughes and M.J. Cresswell. |
| 260 | |a London ; |a New York : |b Routledge, |c 1996. | ||
| 300 | |a 1 online resource (x, 421 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 | ||
| 340 | |g polychrome. |2 rdacc |0 http://rdaregistry.info/termList/RDAColourContent/1003 | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 384-397) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |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. | |
| 520 | |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. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Modality (Logic) |0 http://id.loc.gov/authorities/subjects/sh85086410 | |
| 650 | 6 | |a Modalité (Logique) | |
| 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 | |
| 650 | 1 | 7 | |a Modale logica. |2 gtt |
| 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 | |
| 700 | 1 | |a Cresswell, M. J. | |
| 758 | |i has work: |a A New Introduction to Modal Logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGfWW9VjXBPJVpjDWYqkH3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Hughes, G.E. (George Edward), 1918- |t New introduction to modal logic. |d London ; New York : Routledge, 1996 |w (DLC) 95014728 |
| 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=459985 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a 123Library |b 123L |n 88218 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL168393 | ||
| 938 | |a ebrary |b EBRY |n ebr10017164 | ||
| 938 | |a EBSCOhost |b EBSC |n 459985 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 11086 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203028100 | ||
| 938 | |a YBP Library Services |b YANK |n 2587023 | ||
| 938 | |a YBP Library Services |b YANK |n 9244837 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm70763309 |
|---|---|
| _version_ | 1816881638957645825 |
| adam_text | |
| any_adam_object | |
| author | Hughes, G. E. (George Edward), 1918- |
| author2 | Cresswell, M. J. |
| author2_role | |
| author2_variant | m j c mj mjc |
| author_GND | http://id.loc.gov/authorities/names/n84088041 |
| author_facet | Hughes, G. E. (George Edward), 1918- Cresswell, M. J. |
| author_role | |
| author_sort | Hughes, G. E. 1918- |
| author_variant | g e h ge geh |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.M6 H85 1996eb |
| callnumber-search | BC199.M6 H85 1996eb |
| callnumber-sort | BC 3199 M6 H85 41996EB |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 CC 2500 CC 2600 SK 130 |
| classification_tum | MAT 030f PHI 370f |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)70763309 |
| 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 / Ethik Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06277cam a2200937 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm70763309 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">950328s1996 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">INU</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">INU</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MT4IT</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKDLA</subfield><subfield code="d">ADU</subfield><subfield code="d">E7B</subfield><subfield code="d">MHW</subfield><subfield code="d">QE2</subfield><subfield code="d">IDEBK</subfield><subfield code="d">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKDOC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TYFRS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">JBG</subfield><subfield code="d">LOA</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COCUF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">U3W</subfield><subfield code="d">KIJ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">CN8ML</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">CEF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">REC</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">LHU</subfield><subfield code="d">FVL</subfield><subfield code="d">BRX</subfield><subfield code="d">WYU</subfield><subfield code="d">UWO</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CNTRU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HS0</subfield><subfield code="d">UWK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BOL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUHNV</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DST</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">171114920</subfield><subfield code="a">252959071</subfield><subfield code="a">456019494</subfield><subfield code="a">474152768</subfield><subfield code="a">614610803</subfield><subfield code="a">646709584</subfield><subfield code="a">756866309</subfield><subfield code="a">796796307</subfield><subfield code="a">888502726</subfield><subfield code="a">961566347</subfield><subfield code="a">962632089</subfield><subfield code="a">963359460</subfield><subfield code="a">968286448</subfield><subfield code="a">988479234</subfield><subfield code="a">992040899</subfield><subfield code="a">994687319</subfield><subfield code="a">1037751403</subfield><subfield code="a">1038619693</subfield><subfield code="a">1044230137</subfield><subfield code="a">1044231780</subfield><subfield code="a">1045483030</subfield><subfield code="a">1048182177</subfield><subfield code="a">1055346715</subfield><subfield code="a">1056334740</subfield><subfield code="a">1056371005</subfield><subfield code="a">1058142888</subfield><subfield code="a">1059524481</subfield><subfield code="a">1059779903</subfield><subfield code="a">1060850152</subfield><subfield code="a">1064999937</subfield><subfield code="a">1086925780</subfield><subfield code="a">1086940784</subfield><subfield code="a">1097265007</subfield><subfield code="a">1097338844</subfield><subfield code="a">1099561421</subfield><subfield code="a">1107339470</subfield><subfield code="a">1109356638</subfield><subfield code="a">1110273636</subfield><subfield code="a">1114423296</subfield><subfield code="a">1125530779</subfield><subfield code="a">1125629755</subfield><subfield code="a">1136170200</subfield><subfield code="a">1136339253</subfield><subfield code="a">1153037080</subfield><subfield code="a">1162033387</subfield><subfield code="a">1228549641</subfield><subfield code="a">1241763349</subfield><subfield code="a">1243568999</subfield><subfield code="a">1252729932</subfield><subfield code="a">1286907942</subfield><subfield code="a">1290040346</subfield><subfield code="a">1300643307</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203028104</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203028100</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134800285</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134800282</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610110865</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610110867</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280110864</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280110863</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134800274</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134800278</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0415125995</subfield><subfield code="q">(hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0415126002</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780415125994</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780415126007</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4324/9780203028100</subfield><subfield code="2">doi</subfield></datafield><datafield tag="027" ind1=" " ind2=" "><subfield code="a">MYILIB_CUp</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)70763309</subfield><subfield code="z">(OCoLC)171114920</subfield><subfield code="z">(OCoLC)252959071</subfield><subfield code="z">(OCoLC)456019494</subfield><subfield code="z">(OCoLC)474152768</subfield><subfield code="z">(OCoLC)614610803</subfield><subfield code="z">(OCoLC)646709584</subfield><subfield code="z">(OCoLC)756866309</subfield><subfield code="z">(OCoLC)796796307</subfield><subfield code="z">(OCoLC)888502726</subfield><subfield code="z">(OCoLC)961566347</subfield><subfield code="z">(OCoLC)962632089</subfield><subfield code="z">(OCoLC)963359460</subfield><subfield code="z">(OCoLC)968286448</subfield><subfield code="z">(OCoLC)988479234</subfield><subfield code="z">(OCoLC)992040899</subfield><subfield code="z">(OCoLC)994687319</subfield><subfield code="z">(OCoLC)1037751403</subfield><subfield code="z">(OCoLC)1038619693</subfield><subfield code="z">(OCoLC)1044230137</subfield><subfield code="z">(OCoLC)1044231780</subfield><subfield code="z">(OCoLC)1045483030</subfield><subfield code="z">(OCoLC)1048182177</subfield><subfield code="z">(OCoLC)1055346715</subfield><subfield code="z">(OCoLC)1056334740</subfield><subfield code="z">(OCoLC)1056371005</subfield><subfield code="z">(OCoLC)1058142888</subfield><subfield code="z">(OCoLC)1059524481</subfield><subfield code="z">(OCoLC)1059779903</subfield><subfield code="z">(OCoLC)1060850152</subfield><subfield code="z">(OCoLC)1064999937</subfield><subfield code="z">(OCoLC)1086925780</subfield><subfield code="z">(OCoLC)1086940784</subfield><subfield code="z">(OCoLC)1097265007</subfield><subfield code="z">(OCoLC)1097338844</subfield><subfield code="z">(OCoLC)1099561421</subfield><subfield code="z">(OCoLC)1107339470</subfield><subfield code="z">(OCoLC)1109356638</subfield><subfield code="z">(OCoLC)1110273636</subfield><subfield code="z">(OCoLC)1114423296</subfield><subfield code="z">(OCoLC)1125530779</subfield><subfield code="z">(OCoLC)1125629755</subfield><subfield code="z">(OCoLC)1136170200</subfield><subfield code="z">(OCoLC)1136339253</subfield><subfield code="z">(OCoLC)1153037080</subfield><subfield code="z">(OCoLC)1162033387</subfield><subfield code="z">(OCoLC)1228549641</subfield><subfield code="z">(OCoLC)1241763349</subfield><subfield code="z">(OCoLC)1243568999</subfield><subfield code="z">(OCoLC)1252729932</subfield><subfield code="z">(OCoLC)1286907942</subfield><subfield code="z">(OCoLC)1290040346</subfield><subfield code="z">(OCoLC)1300643307</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC199.M6</subfield><subfield code="b">H85 1996eb</subfield></datafield><datafield tag="055" ind1="1" ind2="3"><subfield code="a">BC199.M6</subfield><subfield code="b">H85 1996eb</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">20</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">CC 2400</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</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="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 370f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hughes, G. E.</subfield><subfield code="q">(George Edward),</subfield><subfield code="d">1918-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJxmFBhhRFVvcYMk7khGpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84088041</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A new introduction to modal logic /</subfield><subfield code="c">G.E. Hughes and M.J. Cresswell.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Routledge,</subfield><subfield code="c">1996.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 421 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="340" ind1=" " ind2=" "><subfield code="g">polychrome.</subfield><subfield code="2">rdacc</subfield><subfield code="0">http://rdaregistry.info/termList/RDAColourContent/1003</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 384-397) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" 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="520" 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="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Modality (Logic)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85086410</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Modalité (Logique)</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="650" ind1="1" ind2="7"><subfield code="a">Modale logica.</subfield><subfield code="2">gtt</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="700" ind1="1" ind2=" "><subfield code="a">Cresswell, M. J.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">A New Introduction to Modal Logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGfWW9VjXBPJVpjDWYqkH3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Hughes, G.E. (George Edward), 1918-</subfield><subfield code="t">New introduction to modal logic.</subfield><subfield code="d">London ; New York : Routledge, 1996</subfield><subfield code="w">(DLC) 95014728</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=459985</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">123Library</subfield><subfield code="b">123L</subfield><subfield code="n">88218</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL168393</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10017164</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">459985</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">11086</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Taylor & Francis</subfield><subfield code="b">TAFR</subfield><subfield code="n">9780203028100</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2587023</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9244837</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> |
| id | ZDB-4-EBA-ocm70763309 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:15:54Z |
| institution | BVB |
| isbn | 0203028104 9780203028100 9781134800285 1134800282 9786610110865 6610110867 1280110864 9781280110863 1134800274 9781134800278 |
| language | English |
| oclc_num | 70763309 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 421 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Routledge, |
| record_format | marc |
| spelling | Hughes, G. E. (George Edward), 1918- https://id.oclc.org/worldcat/entity/E39PBJxmFBhhRFVvcYMk7khGpP http://id.loc.gov/authorities/names/n84088041 A new introduction to modal logic / G.E. Hughes and M.J. Cresswell. London ; New York : Routledge, 1996. 1 online resource (x, 421 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier polychrome. rdacc http://rdaregistry.info/termList/RDAColourContent/1003 data file Includes bibliographical references (pages 384-397) and index. Print version record. 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. English. Modality (Logic) http://id.loc.gov/authorities/subjects/sh85086410 Modalité (Logique) PHILOSOPHY Logic. bisacsh Modality (Logic) fast Modallogik gnd http://d-nb.info/gnd/4074914-9 Modale logica. gtt Logica matematica. larpcal Logique mathématique non classique. ram Modalité (logique) ram Logique symbolique et mathématique. ram Cresswell, M. J. has work: A New Introduction to Modal Logic (Text) https://id.oclc.org/worldcat/entity/E39PCGfWW9VjXBPJVpjDWYqkH3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Hughes, G.E. (George Edward), 1918- New introduction to modal logic. London ; New York : Routledge, 1996 (DLC) 95014728 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=459985 Volltext |
| spellingShingle | Hughes, G. E. (George Edward), 1918- A new introduction to modal logic / 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. Modality (Logic) http://id.loc.gov/authorities/subjects/sh85086410 Modalité (Logique) PHILOSOPHY Logic. bisacsh Modality (Logic) fast Modallogik gnd http://d-nb.info/gnd/4074914-9 Modale logica. gtt Logica matematica. larpcal Logique mathématique non classique. ram Modalité (logique) ram Logique symbolique et mathématique. ram |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85086410 http://d-nb.info/gnd/4074914-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 | new introduction to modal logic |
| topic | Modality (Logic) http://id.loc.gov/authorities/subjects/sh85086410 Modalité (Logique) PHILOSOPHY Logic. bisacsh Modality (Logic) fast Modallogik gnd http://d-nb.info/gnd/4074914-9 Modale logica. gtt Logica matematica. larpcal Logique mathématique non classique. ram Modalité (logique) ram Logique symbolique et mathématique. ram |
| topic_facet | Modality (Logic) Modalité (Logique) PHILOSOPHY Logic. Modallogik Modale logica. Logica matematica. Logique mathématique non classique. Modalité (logique) Logique symbolique et mathématique. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=459985 |
| work_keys_str_mv | AT hughesge anewintroductiontomodallogic AT cresswellmj anewintroductiontomodallogic AT hughesge newintroductiontomodallogic AT cresswellmj newintroductiontomodallogic |