ON AXIOMATIC PRODUCTS OF PDL AND S5: SUBSTITUTION, TESTS AND KNOWLEDGE ⁄
Renate A. Schmidt, Dmitry Tishkovsky · 2002
Propositional dynamic logic (P DL for short) [5] is an expressive, powerful and convenient logical tool to reason about programs or actions. It has found applications in various fields of computer science, which range from program verification to multi-agent systems. In computer science