Journal of Logic, Language and Information

, Volume 21, Issue 3, pp 279–298

Sequential Dynamic Logic

Authors

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

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

Abstract

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.

Keywords

Dynamic logic Substructural logics Dynamic predicate logic Sequent calculus

Copyright information

© Springer Science+Business Media B.V. 2011