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.
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 | ||
| ||
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 | ||
| ||