57 citations · 105 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
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…
cs.LO2014
Tableaux for Dynamic Logic of Propositional Assignments
Tiago de Lima, Andreas Herzig
The Dynamic Logic for Propositional Assignments (DL-PA) has recently been studied as an alternative to Propositional Dynamic Logic (PDL). In DL-PA, the abstract atomic programs of…