Dynamic Logic for Data-aware Systems: Decidability Results.

Francesco Belardinelli, Andreas Herzig

Browse the full IJCAI paper archive.