Sequential Dynamic Logic
- First Online:
- Cite this article as:
- Bochman, A. & Gabbay, D.M. J of Log Lang and Inf (2012) 21: 279. doi:10.1007/s10849-011-9152-y
We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.