A new introduction to modal logic /

Mostrar otras versiones (1)

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Hughes, G. E. (George Edward), 1918-
Otros Autores: Cresswell, M. J.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; New York : Routledge, 1996.
Temas:
Modality (Logic)
Modalité (Logique)
PHILOSOPHY > Logic.
Modallogik
Modale logica.
Logica matematica.
Logique mathématique non classique.
Modalité (logique)
Logique symbolique et mathématique.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares