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: | Meyer, Albert R., Parikh, Rohit |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/148983 |
Similar Items
-
Floyd-Hoare Logic Defines Semantics
by: Meyer, Albert R.
Published: (2023) -
Propositional Dynamic Logics of Programs: A Survey
by: Parikh, Rohit
Published: (2023) -
A Completeness Result for a Propositional Dynamic Logic
by: Parikh, Rohit
Published: (2023) -
On the Expressive Power of Dynamic Logic
by: Meyer, Albert R., et al.
Published: (2023) -
A Decidability Result for a Second Order Process Logic
by: Parikh, Rohit
Published: (2023)