Modal logic

Herman Ruge Jervell (Autor)

Buch | Softcover

130 Seiten

2013
Logos Berlin (Verlag)
978-3-8325-3302-1 (ISBN)

Infos

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.

Autor

Die Kunst der Übersetzung

Produkt-Details

• Erscheint lt. Verlag: 16.1.2013
• Sprache: englisch
• Maße: 145 x 210 mm
• Einbandart: Paperback
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Agents • incompleteness • memoryless games • Modal Logic • provability
• ISBN-10: 3-8325-3302-8 / 3832533028
• ISBN-13: 978-3-8325-3302-1 / 9783832533021
• Zustand: Neuware