Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. LCS Publications
  4. LCS Technical Memos (1974 - 2003)
  5. Definability in Dynamic Logic

Definability in Dynamic Logic

Thumbnail Image
Download
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
https://hdl.handle.net/1721.1/148983
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.