cover image

Modal logic : an introduction / Brian F. Chellas.


Cambridge [England] ; New York : Cambridge University Press, [1980] .
ISBN 0521224764, 0521295157

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
BC 199 .M6 C47 (show me on map) Available Request
American
LIB stacks
BC199.M6 C47 Available Request
George Mason
Fenwick stacks
BC199.M6 C47 Available Request
Georgetown
Lauinger stacks
BC199.M6 C47 Available Request
Subjects Logique symbolique et mathématique.
Modale logica.
Modalité (Logique)
Modalité (logique)
Modality (Logic)
Description xii, 295 pages : illustrations ; 24 cm
Copyright Date [1980]
Notes Includes indexes.
Includes bibliographical references (pages 278-279).
Contents 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.
Network Numbers (OCoLC)4137417
(OCoLC)ocm04137417
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks