OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Balbiani, Philippe and Lorini, Emiliano Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL*. (2013) In: 20th International Workshop on Logic, Language and Information (WoLLIC 2013), 20 August 2013 - 23 August 2013 (Darmstadt, Germany).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
355kB

Official URL: http://dx.doi.org/10.1007/978-3-642-39992-3_22

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8071 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-642-39991-6. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-39992-3_22
HAL Id:hal-01212936
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:16 Sep 2015 12:29

Repository Staff Only: item control page