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...
Autor principal: | |
---|---|
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 |