DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE

Philippe Balbiani, Andreas Herzig, François Schwarzentruber +1

We prove that the model checking and the satisfiability problem of both Dynamic Logic of Propositional Assignments DL-PA and Coalition Logic of Propositional Control and Delegation…