01594nam 2200433 450 991082309340332120230802000556.03-8325-9000-5(CKB)4100000007747091(MiAaPQ)EBC5722994(Au-PeEL)EBL5722994(OCoLC)10895247115c7aad7d-dd24-418c-b2a7-7583b0dd2d03(EXLCZ)99410000000774709120190322d2012 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierModal logic /Herman Ruge JervellBerlin :Logos Verlag Berlin,[2012]©20121 online resource (105 pages)Compact Companion ;2PublicationDate: 201301163-8325-3302-8 Long 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.Modality (Logic)Modality (Logic)160Jervell Herman Ruge1644881MiAaPQMiAaPQMiAaPQBOOK9910823093403321Modal logic3990979UNINA