OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Resource separation in dynamic logic of propositional assignments

Boudou, Joseph and Herzig, Andreas and Troquard, Nicolas Resource separation in dynamic logic of propositional assignments. (2019) In: International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), 9 October 2019 - 9 October 2019 (Porto, Portugal).

[img]
Preview
(Document in English)

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

Official URL: https://doi.org/10.1007/978-3-030-38808-9_10

Abstract

We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction axioms, thereby establishing decidability. We also prove that the complexity of both the model checking and the satisfiability problem stay in PSPACE.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 12005 of Lecture Notes in Computer Science ISSN: 0302-9743 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-38808-9_10
HAL Id:hal-02942300
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (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)
Other partners > Free University of Bozen-Bolzano - UNIBZ (ITALY)
Laboratory name:
Funders:
ANR : Agence Nationale de la Recherche (France)
Statistics:download
Deposited On:26 Aug 2020 07:30

Repository Staff Only: item control page