LEADER 01594nam  2200433   450 
001 9910823093403321
005 20230802000556.0
010   $a3-8325-9000-5
035   $a(CKB)4100000007747091
035   $a(MiAaPQ)EBC5722994
035   $a(Au-PeEL)EBL5722994
035   $a(OCoLC)1089524711
035   $a5c7aad7d-dd24-418c-b2a7-7583b0dd2d03
035   $a(EXLCZ)994100000007747091
100   $a20190322d2012      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModal logic /$fHerman Ruge Jervell
210  1$aBerlin :$cLogos Verlag Berlin,$d[2012]
210  4$dİ2012
215   $a1 online resource (105 pages)
225 0 $aCompact Companion ;$v2
300   $aPublicationDate: 20130116
311   $a3-8325-3302-8 
330   $aLong 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.
606   $aModality (Logic)
615  0$aModality (Logic)
676   $a160
700   $aJervell$b Herman Ruge$01644881
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910823093403321
996   $aModal logic$93990979
997   $aUNINA