"A Concise Introduction to Propositional Dynamic Logic" - читать интересную книгу автора (Krister Segerberg)