Modal logic
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Herman Ruge Jervell
Publisher
Logos Verlag
ISBN / ASIN
3832533028
ISBN-13
9783832533021
Marketplace
France 🇫🇷
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
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.
