Vai al contenuto principale della pagina

A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Hughes G. E (George Edward), <1918-, > Visualizza persona
Titolo: A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell Visualizza cluster
Pubblicazione: London ; ; New York : , : Routledge, , 1996
Descrizione fisica: 1 online resource (408 p.)
Disciplina: 160
Soggetto topico: Modality (Logic)
Soggetto genere / forma: Electronic books.
Altri autori: CresswellM. J  
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references (p. 384-397) and index.
Nota di contenuto: 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;
Sommario/riassunto: 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.
Titolo autorizzato: A new introduction to modal logic  Visualizza cluster
ISBN: 9786610110865
1-134-80028-2
1-280-11086-4
0-203-02810-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910450057203321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui