2013 | OriginalPaper | Buchkapitel
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL*
verfasst von : Philippe Balbiani, Emiliano Lorini
Erschienen in: Logic, Language, Information, and Computation
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.