Introduzione alla logica modale
Milano : Il saggiatore, 1973
Abstract:
Logica proposizionale modale (Calcolo proposizionale non-modale - Il sistema T - Il sistema S4 e S5 - Validità in T, S4 e S5 - T: procedura di decisione e completezza - S4 e S5: procedure di decisione e completezza - Basi alternative per T, S4 e S5) - Logica predicativa modale (Il calcolo predicativo inferiore - La completezza di LPC modale - Modalità ed esistenza - Identità e descrizioni in LPC modale) - Panorama di logica modale (I sistemi di Lewis - Altri sistemi proposizionali moda ...; [read all]
| Field | Value |
|---|---|
| Description | Introduzione alla logica modale/ G. E. Hughes, M. G. Cresswell ; a cura di Claudio Pizzi. - Milano : Il saggiatore, 1973. - XXXVII, 436 p. ; 21 cm. - (Theoria ; 5) |
| Uniform title | |
| Series |
|
| Numbers |
|
| Authors |
|
| Keys | |
| Publishing location |
|
| Editor |
|
| Country | |
| Language | |
| ID file | 44715 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095714 | Biblioteca | LC / 973 / 26 | Available | In library | None |