Along the lines of Coalition Logic of Propositional Control (CLPC), we propose a dynamic logic of propositional control DLPC. It extends 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 epistemic extension. We establish the relationship of these logics with the existing CLPC and with its extension by control transfer DCLPC. We study their complexity and their proof theory.
Dans la même rubrique :