TY - JOUR
T1 - On static logics, dynamic logics, and complexity classes
AU - Harel, D.
AU - Peleg, D.
PY - 1984
Y1 - 1984
N2 - Several versions of quantified dynamic logic are shown to be equivalent in expressive power to "static" extensions of classical logics. Consequently, by recent results of various researchers, many connections between dynamic logics and complexity classes are obtained. Among other things, a sequence of dynamic logics of increasing expressive power, which correspond, over appropriate finite structures, to LOGSPACE, PTIME, and PSPACE, as well as to the sets definable in the logarithmic-space, polynomial-time, and arithmetical hierarchies is exhibited.
AB - Several versions of quantified dynamic logic are shown to be equivalent in expressive power to "static" extensions of classical logics. Consequently, by recent results of various researchers, many connections between dynamic logics and complexity classes are obtained. Among other things, a sequence of dynamic logics of increasing expressive power, which correspond, over appropriate finite structures, to LOGSPACE, PTIME, and PSPACE, as well as to the sets definable in the logarithmic-space, polynomial-time, and arithmetical hierarchies is exhibited.
UR - http://www.scopus.com/inward/record.url?scp=0021292740&partnerID=8YFLogxK
U2 - 10.1016/S0019-9958(84)80023-6
DO - 10.1016/S0019-9958(84)80023-6
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0021292740
SN - 0019-9958
VL - 60
SP - 86
EP - 102
JO - Information and control
JF - Information and control
IS - 1-3
ER -