Definability in Dynamic Logic
Name
MIT-LCS-TM-156.pdf
Size
3 MB
Format
Adobe PDF
Checksum (MD5)
a69a741952e2c9e63c062cd894c0b187
Author(s) •
Meyer, Albert R.
Parikh, Rohit
Date Issued
February 1980
Series/Report no.
MIT-LCS-TM-156
Abstract
We study the expressive power of various versions of Dynamic Logic and compare them with each other as well as with standard languages in the logical literature. One version of Dynamic Logic is equivalent to the infinitary logic L CK ω1,ω, but regular Dynamic Logic is strictly less expressive. In particular, the ordinals ω^ω and ω^ω*2 are indistinguishable by formulas of regular Dynamic Logic.
Persistent DSpace Link