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…