A new introduction to modal logic [electronic resource] / G.E. Hughes and M.J. Cresswell.
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.
Saved in:
| Online Access: |
Full Text (via Taylor & Francis) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London ; New York :
Routledge,
1996.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b11538397 | ||
| 003 | CoU | ||
| 005 | 20220930060851.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 950328s1996 enka ob 001 0 eng d | ||
| 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 | |
| 027 | |a MYILIB_CUp | ||
| 035 | |a (OCoLC)tfe70763309 | ||
| 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 | ||
| 037 | |a tfe9780203028100 | ||
| 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 | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a BC199.M6 |b H85 1996eb | |
| 055 | 1 | 3 | |a BC199.M6 |b H85 1996eb |
| 100 | 1 | |a Hughes, G. E. |q (George Edward), |d 1918- |0 http://id.loc.gov/authorities/names/n84088041 |1 http://isni.org/isni/0000000081301454. | |
| 245 | 1 | 2 | |a A new introduction to modal logic |h [electronic resource] / |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. | ||
| 347 | |a data file. | ||
| 504 | |a Includes bibliographical references (pages 384-397) and index. | ||
| 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Modality (Logic) |0 http://id.loc.gov/authorities/subjects/sh85086410. | |
| 650 | 7 | |a Modality (Logic) |2 fast |0 (OCoLC)fst01024350. | |
| 700 | 1 | |a Cresswell, M. J. |0 http://id.loc.gov/authorities/names/n84088042 |1 http://isni.org/isni/0000000109119356. | |
| 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://colorado.idm.oclc.org/login?url=https://www.taylorfrancis.com/books/9780203028100 |z Full Text (via Taylor & Francis) |
| 907 | |a .b115383979 |b 11-01-22 |c 01-22-21 | ||
| 998 | |a web |b 10-31-22 |c b |d b |e - |f eng |g enk |h 2 |i 1 | ||
| 907 | |a .b115383979 |b 10-31-22 |c 01-22-21 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a - | ||
| 956 | |a Taylor & Francis Ebooks | ||
| 956 | |b Taylor & Francis All eBooks | ||
| 999 | f | f | |i 90cc3243-de48-55c5-8109-84b789bb426a |s 3feb6775-1bda-5469-967e-b8b649a3111f |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e BC199.M6 H85 1996eb |h Library of Congress classification |i web |n 1 |