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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|