02587nam 2200625 a 450 991081610210332120200520144314.01-134-80027-497866101108651-134-80028-21-280-11086-40-203-02810-410.4324/9780203028100(CKB)1000000000005553(EBL)168393(OCoLC)171114920(SSID)ssj0000282294(PQKBManifestationID)11225570(PQKBTitleCode)TC0000282294(PQKBWorkID)10317128(PQKB)10239809(MiAaPQ)EBC168393(Au-PeEL)EBL168393(CaPaEBR)ebr10017164(CaONFJC)MIL11086(OCoLC)70763309(EXLCZ)99100000000000555319950328d1996 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierA new introduction to modal logic /G.E. Hughes and M.J. Cresswell1st ed.London ;New York Routledge19961 online resource (x, 421 pages) illustrationsDescription based upon print version of record.0-415-12599-5 0-415-12600-2 Includes bibliographical references (p. 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.Modality (Logic)Modality (Logic)160Hughes G. E(George Edward),1918-47851Cresswell M. J47852MiAaPQMiAaPQMiAaPQBOOK9910816102103321A new introduction to modal logic4122754UNINA