Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London ; New York :
Routledge,
1996.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm70763309 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.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 | ||
| 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 | ||
| 029 | 1 | |a AU@ |b 000051569513 | |
| 029 | 1 | |a AU@ |b 000053229889 | |
| 029 | 1 | |a AU@ |b 000066755593 | |
| 029 | 1 | |a DEBBG |b BV043090204 | |
| 029 | 1 | |a DEBBG |b BV044076186 | |
| 029 | 1 | |a DEBSZ |b 421407352 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999931973905765 | |
| 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 | 0 | 4 | |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 UAMI | ||
| 100 | 1 | |a Hughes, G. E. |q (George Edward), |d 1918- | |
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Modality (Logic) | |
| 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 | |
| 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. | |
| 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 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=459985 |z Texto completo |
| 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 IZTAP | ||