| Autore: |
Wansing, Heinrich
|
| Titolo: |
Displaying Modal Logic / Heinrich Wansing
|
| Pubblicazione: |
Dordrecht, : Springer, : Kluwer, 1998 |
| Descrizione fisica: |
xi, 252 p. ; 24 cm |
| Soggetto topico: |
03-XX - Mathematical logic and foundations [MSC 2020] |
| |
03B44 - Temporal logic [MSC 2020] |
| |
03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| |
03B47 - Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020] |
| |
03B53 - Paraconsistent logics [MSC 2020] |
| |
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
| Soggetto non controllato: |
Cut-elimination theorem |
| |
Extensions |
| |
Logic |
| |
Modal Logic |
| |
Nonmonotonic reasoning |
| |
Predicate logic |
| |
Proofs |
| |
Semantics |
| |
Sequent Calculus |
| Titolo autorizzato: |
Displaying Modal Logic |
|
| Formato: |
Materiale a stampa  |
| Livello bibliografico |
Monografia |
| Lingua di pubblicazione: |
Inglese |
| Record Nr.: | VAN00298387 |
|
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico |
https://doi.org/10.1007/978-94-017-1280-4 |
| Opac: |
Controlla la disponibilità qui |
