Dynamic languages of propositional control for protocol specification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Dynamic languages of propositional control for protocol specification

Résumé

We propose a family of dynamic logics of propositional control. They extend classical propositional logic by a variety of modal operators of assignment, and modal operators of transfer of control over a propositional variable. We also present an extension with operators of knowledge. We essentially focus on their formal properties, stating their complexity and their proof theory.
Fichier principal
Vignette du fichier
HeTr10lis.pdf (160.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03470306 , version 1 (09-12-2021)

Identifiants

  • HAL Id : hal-03470306 , version 1

Citer

Andreas Herzig, Nicolas Troquard. Dynamic languages of propositional control for protocol specification. Workshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark. ⟨hal-03470306⟩
33 Consultations
13 Téléchargements

Partager

Gmail Facebook X LinkedIn More