Tableaux methods for propositional dynamic logics with separating parallel composition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Tableaux methods for propositional dynamic logics with separating parallel composition

Résumé

PRSPDL is a propositional dynamic logic with an operator for parallel compositions of programs. We first give a complexity upper bound for this logic. Then we focus on the class of ⊲-deterministic frames and give tableaux methods for two fragments of PRSPDL over this class of frames.
Fichier principal
Vignette du fichier
balbiani_19189.pdf (864.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01650183 , version 1 (28-11-2017)

Identifiants

  • HAL Id : hal-01650183 , version 1
  • OATAO : 19189

Citer

Philippe Balbiani, Joseph Boudou. Tableaux methods for propositional dynamic logics with separating parallel composition. International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.539-554. ⟨hal-01650183⟩
52 Consultations
266 Téléchargements

Partager

Gmail Facebook X LinkedIn More