Skip to Main content Skip to Navigation
Conference papers

Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork

Abstract : We devote this paper to the axiomatization and the computability of PDLΔ0—a variant of iteration-free PDL with fork.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02365624
Contributor : Open Archive Toulouse Archive Ouverte (oatao) Connect in order to contact the contributor
Submitted on : Friday, November 15, 2019 - 2:36:23 PM
Last modification on : Wednesday, November 3, 2021 - 6:50:52 AM
Long-term archiving on: : Sunday, February 16, 2020 - 5:28:26 PM

File

balbiani_22291.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02365624, version 1
  • OATAO : 22291

Citation

Philippe Balbiani, Joseph Boudou. Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. First International Workshop Dynamic Logic. New Trends and Applications (DALI 2017), Sep 2017, Brasilia, Brazil. pp.17-34. ⟨hal-02365624⟩

Share

Metrics

Record views

68

Files downloads

147