Articles liés à Modal Logic

Modal Logic - Couverture souple

Jervell, Herman Ruge

 
9783832533021: Modal Logic

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.