Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

We devote this paper to the axiomatization and the computability of PDLΔ0—a variant of iteration-free PDL with fork.
Fichier principal
Vignette du fichier
balbiani_22291.pdf (415.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02365624 , version 1 (15-11-2019)

Identifiants

Citer

Philippe Balbiani, Joseph Boudou. Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. 1st International Workshop Dynamic Logic. New Trends and Applications (DALI 2017), Sep 2017, Brasilia, Brazil. pp.17-34, ⟨10.1007/978-3-319-73579-5_2⟩. ⟨hal-02365624⟩
36 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More