Journal of Logic, Language and Information

, Volume 21, Issue 3, pp 279–298

Sequential Dynamic Logic


    • Computer Science DepartmentHolon Institute of Technology
  • Dov M. Gabbay
    • Computer Science DepartmentBar-Ilan University
    • King’s College London

DOI: 10.1007/s10849-011-9152-y

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.


Dynamic logic Substructural logics Dynamic predicate logic Sequent calculus

Copyright information

© Springer Science+Business Media B.V. 2011