Table of Contents: A new introduction to modal logic /

Main Author:	Hughes, G. E. 1918-
Other Authors:	Cresswell, M. J.
Format:	Book
Language:	English
Published:	London ; New York : Routledge, 1996.
Subjects:	Modality (Logic) logique modale. calcul propositionnel. calcul prédicat. PHILOSOPHY > Logic. Modale logica. Modallogik. Logica matematica. Logique mathématique non classique. Modalité (logique) Logique symbolique et mathématique.
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=459985

Table of 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.