Definability in Dynamic Logic
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 pa...
Main Authors: | , |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/148983 |
_version_ | 1811097279522668544 |
---|---|
author | Meyer, Albert R. Parikh, Rohit |
author_facet | Meyer, Albert R. Parikh, Rohit |
author_sort | Meyer, Albert R. |
collection | MIT |
description | 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. |
first_indexed | 2024-09-23T16:57:08Z |
id | mit-1721.1/148983 |
institution | Massachusetts Institute of Technology |
last_indexed | 2024-09-23T16:57:08Z |
publishDate | 2023 |
record_format | dspace |
spelling | mit-1721.1/1489832023-03-30T03:02:09Z Definability in Dynamic Logic Meyer, Albert R. Parikh, Rohit 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. 2023-03-29T14:15:55Z 2023-03-29T14:15:55Z 1980-02 https://hdl.handle.net/1721.1/148983 6681577 MIT-LCS-TM-156 application/pdf |
spellingShingle | Meyer, Albert R. Parikh, Rohit Definability in Dynamic Logic |
title | Definability in Dynamic Logic |
title_full | Definability in Dynamic Logic |
title_fullStr | Definability in Dynamic Logic |
title_full_unstemmed | Definability in Dynamic Logic |
title_short | Definability in Dynamic Logic |
title_sort | definability in dynamic logic |
url | https://hdl.handle.net/1721.1/148983 |
work_keys_str_mv | AT meyeralbertr definabilityindynamiclogic AT parikhrohit definabilityindynamiclogic |