top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell
Autore Hughes G. E (George Edward), <1918-, >
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 1996
Descrizione fisica 1 online resource (408 p.)
Disciplina 160
Altri autori (Persone) CresswellM. J
Soggetto topico Modality (Logic)
Soggetto genere / forma Electronic books.
ISBN 9786610110865
1-134-80028-2
1-280-11086-4
0-203-02810-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
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;
Record Nr. UNINA-9910450057203321
Hughes G. E (George Edward), <1918-, >  
London ; ; New York : , : Routledge, , 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell
A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell
Autore Hughes G. E (George Edward), <1918-, >
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 1996
Descrizione fisica 1 online resource (x, 421 pages) : illustrations
Disciplina 160
Altri autori (Persone) CresswellM. J
Soggetto topico Modality (Logic)
ISBN 1-134-80027-4
9786610110865
1-134-80028-2
1-280-11086-4
0-203-02810-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
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;
Record Nr. UNINA-9910782957803321
Hughes G. E (George Edward), <1918-, >  
London ; ; New York : , : Routledge, , 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell
Autore Hughes G. E (George Edward), <1918->
Edizione [1st ed.]
Pubbl/distr/stampa London ; ; New York, : Routledge, 1996
Descrizione fisica 1 online resource (x, 421 pages) : illustrations
Disciplina 160
Altri autori (Persone) CresswellM. J
Soggetto topico Modality (Logic)
ISBN 1-134-80027-4
9786610110865
1-134-80028-2
1-280-11086-4
0-203-02810-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
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;
Record Nr. UNINA-9910816102103321
Hughes G. E (George Edward), <1918->  
London ; ; New York, : Routledge, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui