Sequential Dynamic Logic

Alexander Bochman; Dov M. Gabbay

doi:10.1007/s10849-011-9152-y

Sequential Dynamic Logic

Alexander Bochman, Dov M. Gabbay

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

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.

Original language	English
Pages (from-to)	279-298
Number of pages	20
Journal	Journal of Logic, Language and Information
Volume	21
Issue number	3
DOIs	https://doi.org/10.1007/s10849-011-9152-y
State	Published - Jul 2012

Keywords

Dynamic logic
Dynamic predicate logic
Sequent calculus
Substructural logics

Access to Document

10.1007/s10849-011-9152-y

Cite this

@article{bbafd6f946e94b74970632e42e5d9028,

title = "Sequential Dynamic Logic",

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, Dynamic predicate logic, Sequent calculus, Substructural logics",

author = "Alexander Bochman and Gabbay, {Dov M.}",

year = "2012",

month = jul,

doi = "10.1007/s10849-011-9152-y",

language = "אנגלית",

volume = "21",

pages = "279--298",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Sequential Dynamic Logic

AU - Bochman, Alexander

AU - Gabbay, Dov M.

PY - 2012/7

Y1 - 2012/7

N2 - 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.

AB - 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.

KW - Dynamic logic

KW - Dynamic predicate logic

KW - Sequent calculus

KW - Substructural logics

UR - http://www.scopus.com/inward/record.url?scp=84862185648&partnerID=8YFLogxK

U2 - 10.1007/s10849-011-9152-y

DO - 10.1007/s10849-011-9152-y

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84862185648

SN - 0925-8531

VL - 21

SP - 279

EP - 298

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 3

ER -

Sequential Dynamic Logic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this