Modal logic

Herman Ruge Jervell

ISBN 978-3-8325-3302-1
130 pages, year of publication: 2013
price: 19.80 €
Modal logic
In modal logic we treat 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.

Author: Herman Ruge Jervell (1945) is professor of logic in Department of Informatics, University of Oslo.

Please see as well: Logic and Computations and Proof theory

cover cover cover cover cover cover cover cover cover
Table of contents (PDF)


  • Modal logic
  • provability
  • memoryless games
  • incompleteness
  • agents


19.80 €
only 1 in stock

17.50 €
29.80 €
33.80 €

(D) = Within Germany
(W) = Abroad

*You can purchase the eBook (PDF) alone or combined with the printed book (eBundle). In both cases we use the payment service of PayPal for charging you - nevertheless it is not necessary to have a PayPal-account. With purchasing the eBook or eBundle you accept our licence for eBooks.

For multi-user or campus licences (MyLibrary) please fill in the form or write an email to