On the duality of dynamic algebras and kripke models — The deducibility problem in propositional dynamic logic — PAL — Propositional algorithmic logic — Propositional dynamic logics of programs: A survey — On the algorithmic theory of dictionaries — On the algorithmic properties of concurrent programs — A survey of the logic of effective definitions.