Journal of Logic, Language and Information

, Volume 21, Issue 3, pp 279–298

Sequential Dynamic Logic

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

Authors and Affiliations

  1. 1.Computer Science DepartmentHolon Institute of TechnologyHolonIsrael
  2. 2.Computer Science DepartmentBar-Ilan UniversityRamat GanIsrael
  3. 3.King’s College LondonLondonUK

Personalised recommendations