OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics

Boudou, Joseph and Lorini, Emiliano Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. (2016) In: 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), 9 November 2016 - 11 November 2016 (Larnaca, Cyprus).

(Document in English)

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

Official URL: https://doi.org/10.1007/978-3-319-48758-8_10


Ockhamist Propositional Dynamic Logic (OPDL) is a logic unifying the family of dynamic logics and the family of branching-time temporal logics, two families of logic widely used in AI to model reactive systems and multi-agent systems (MAS). In this paper, we present two variants of this logic. These two logics share the same language and differ only in one semantic condition. The first logic embeds Bundled CTLé while the second embeds CTLé. We provide a 2EXPTIME decision procedure for the satisfiability problem of each variant. The decision procedure for the first variant of OPDL is based on the elimination of Hintikka sets while the decision procedure for the second variant relies on automata.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 10021 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-48757-1 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-48758-8_10
HAL Id:hal-01757358
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:22 Mar 2018 13:41

Repository Staff Only: item control page