Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork - Archive ouverte HAL
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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
balbiani_22291.pdf (415.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02365624

Soumis le : vendredi 15 novembre 2019-14:36:23

Dernière modification le : vendredi 18 octobre 2024-03:12:28

Archivage à long terme le : dimanche 16 février 2020-17:28:26

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC ANR IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
44 Consultations
52 Téléchargements

Altmetric

Partager

More