Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control

Andreas Herzig

Résumé

We study uniform strategies in the framework of models of propositional control. In that logic each agent has a repertoire of actions each of which consists in setting a propositional variable to true or false. This provides compact representations of both alternating-time transition systems (providing semantics for CL and ATL) and BR+AC structures (providing semantics for STIT logics). The models allow to interpret a language with modal operators of agency and knowledge, yielding a simple dynamic epistemic logic of propositional control DEL-PC. We prove that the logic is decidable.
Fichier non déposé

Dates et versions

hal-03464942 , version 1 (03-12-2021)

Identifiants

  • HAL Id : hal-03464942 , version 1

Citer

Andreas Herzig. Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control. 2nd Workshop on Dynamics in Logic (Dynamics in Logic II 2012), Mar 2012, Lille, France. ⟨hal-03464942⟩
16 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More