Skip to Main content Skip to Navigation
Conference papers

Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL

Abstract : We present a new logic called Ockhamist Propositional Dynamic Logic, OPDL, which provides a natural link between PDL and CTL*. We show that both PDL and CTL* can be polynomially embedded into OPDL in a rather simple and direct way. More generally, the semantics on which OPDL is based provides a unifying framework for making the dynamic logic family and the temporal logic family converge in a single logical framework. Decidability of the satisfiability problem for OPDL is studied in the paper.
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01212936
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Wednesday, October 7, 2015 - 3:09:07 PM
Last modification on : Wednesday, June 15, 2022 - 4:16:52 AM
Long-term archiving on: : Friday, January 8, 2016 - 10:47:24 AM

File

balbiani_12761.pdf
Files produced by the author(s)

Identifiers

Citation

Philippe Balbiani, Emiliano Lorini. Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL. 20th International Workshop on Logic, Language and Information (WoLLIC 2013), Aug 2013, Darmstadt, Germany. pp.251-265, ⟨10.1007/978-3-642-39992-3_22⟩. ⟨hal-01212936⟩

Share

Metrics

Record views

357

Files downloads

200