Matches in Harvard for { <http://id.lib.harvard.edu/aleph/000271560/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b303759.
- catalog created "[1980]".
- catalog date "1980".
- catalog date "[1980]".
- catalog dateCopyrighted "[1980]".
- catalog description "Bibliography: p. [278]-279.".
- catalog description "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.".
- catalog extent "xii, 295 p. :".
- catalog identifier "0521224764".
- catalog identifier "0521295157 (pbk.)".
- catalog issued "1980".
- catalog issued "[1980]".
- catalog language "eng".
- catalog publisher "Cambridge [Eng.] ; New York : Cambridge University Press,".
- catalog subject "BC199.M6 C47".
- catalog subject "Modality (Logic)".
- catalog tableOfContents "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.".
- catalog title "Modal logic : an introduction / Brian F. Chellas.".
- catalog type "text".