Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 49, No. 2 (1990), pp. 197-214 (18 pages) We illustrate, with three examples, the interaction between boolean and modal connectives by ...