Modal logic / / Herman Ruge Jervell
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Jervell Herman Ruge
|
| Titolo: |
Modal logic / / Herman Ruge Jervell
|
| Pubblicazione: | Berlin : , : Logos Verlag Berlin, , [2012] |
| ©2012 | |
| Descrizione fisica: | 1 online resource (105 pages) |
| Disciplina: | 160 |
| Soggetto topico: | Modality (Logic) |
| Note generali: | PublicationDate: 20130116 |
| Sommario/riassunto: | Long description: In modal logic we discuss multiple perspectives on truth - perspectives as given by time, by provability, by knowledge, by agents or by processes. We develop the theory of modal logic and emphasize the connections with and applications within computer science and mathematics. Among other things we develop Kurt Gödels incompleteness theorem and show memoryless determinacy of infinite games on finite arenas. |
| Titolo autorizzato: | Modal logic |
| ISBN: | 3-8325-9000-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910823093403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |