Modal logic : an introduction /

"A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completene...

Descripción completa

Detalles Bibliográficos
Autor principal: Chellas, Brian F.
Formato: Libro
Lenguaje:Inglés
Publicado: Cambridge [England] ; New York : Cambridge University Press, c1980.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 02951cam a2200301 i 4500
001 99781428204151
005 20241030105237.0
008 780711s1980 enka b 001 0 eng
010 |a  76047197  
020 |a 0521224764 
020 |a 9780521224765 
020 |a 0521295157  |q (pbk.) 
020 |a 9780521295154  |q (pbk.) 
035 |a (OCoLC)4137417 
035 |a (OCoLC)ocm04137417  
040 |a DLC  |c DLC  |d LVB  |d OCLCQ  |d U@S 
049 |a U@SA 
050 0 0 |a BC199.M6  |b C45 1980 
082 0 0 |a 160 
100 1 |a Chellas, Brian F. 
245 1 0 |a Modal logic :  |b an introduction /  |c Brian F. Chellas. 
260 |a Cambridge [England] ;  |a New York :  |b Cambridge University Press,  |c c1980. 
300 |a xii, 295 p. :  |b il. ;  |c 24 cm. 
504 |a Incluye referencias bibliográficas (p. 278-279) e índice. 
505 0 |a Part 1. Introduction: Truth and possible worlds; The system S5 -- Logical preliminaries: Syntax; Models, truth, and validity; Filtrations; systems of modal logic; Axiomatizability; Maximality and Lendenbaum's lemma; Soundness, completeness, and canonical models; Decidability and the finite model property -- Part 2. Standard models for modal logics: Standard models; The schemas D, T, B,4, and 5; The schema G k, l, m, n; Generated models; Filtrations; Filtrations, continued -- Normal systems of modal logic: Normal systems; Replacement and duality; The schemas D, T, B,4, and 5; Modalities; Maximal sets in normal systems -- Determination and decidability for normal systems: Soundness; Postscript on modalities; Completeness: basic theorems; Determination; KG k, l, m, n; Decidability -- Deontic logic: Standard deontic logic; Further principles; Obligation and time; Past tense obligation; Shortcomings -- Part 3. Minimal models for modal logics: Minimal models; The schemas M, C, and N; Augmentation; The schemas D, T, B,4, and 5; Filtrations -- Classical systems of modal logic: Classical systems; Monotonic and regular systems; Other schemas -- Determination and decidability for classical systems: Soundness; Completeness: basic theorems; Determination; The schemas D, T, B,4, and 5; Decidability -- Conditional logic: Conditionality; Conditional obligation; Conditional obligation defined. 
520 |a "A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student." --Descripción del editor. 
650 0 |a Modality (Logic) 
650 7 |a Modalidad (Lógica)  |2 UDESA