• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Modal Logic

Modal Logic

Paperback

FictionGeneral Computers

Currently unavailable to order

ISBN10: 3832533028
ISBN13: 9783832533021
Publisher: Logos Verlag Berlin
Published: Jan 16 2013
Pages: 130
Weight: 0.25
Height: 0.25 Width: 5.60 Depth: 7.88
Language: English
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.

Also in

General Computers