1.

Record Nr.

UNINA9910816102103321

Autore

Hughes G. E (George Edward), <1918->

Titolo

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

Pubbl/distr/stampa

London ; ; New York, : Routledge, 1996

ISBN

1-134-80027-4

9786610110865

1-134-80028-2

1-280-11086-4

0-203-02810-4

Edizione

[1st ed.]

Descrizione fisica

1 online resource (x, 421 pages) : illustrations

Altri autori (Persone)

CresswellM. J

Disciplina

160

Soggetti

Modality (Logic)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

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.