Modal Logic (Paperback) (ISBN-13: 9783832533021)

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 Godels incompleteness theorem and show memoryless determinacy of infinite games on finite arenas.

Author: Herman Ruge Jervell
ISBN-10: 3832533028
ISBN-13: 9783832533021
Publisher: Logos Verlag Berlin
Language: English
Published: 01/16/2013
Pages: 130
Format: Paperback