NEW: Kripke's Worlds published

Learning by doing, on a subject usually perceived as rather abstract: modal logics...

Learning by doing, on a subject usually perceived as rather abstract: modal logics. You learn about each of these logics, step by step, with the help of LoTREC, essential complement to the book. Starting from the simplest modal logics such as K and S4 up to the most complex ones such as PDL and LTL, you unlock the mysteries of Kripke's semantics. Numerous practical exercises bring you further. Intended for students and teachers even with zero-knowledge in computer science.