Dynamic Logic for Data-Aware Systems: Decidability Results

Belardinelli and Herzig. "Dynamic Logic for Data-Aware Systems: Decidability Results." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/114

[Belardinelli and Herzig. "Dynamic Logic for Data-Aware Systems: Decidability Results." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/belardinelli2017ijcai-dynamic/) doi:10.24963/IJCAI.2017/114

@inproceedings{belardinelli2017ijcai-dynamic,
  title     = {{Dynamic Logic for Data-Aware Systems: Decidability Results}},
  author    = {Belardinelli, Francesco and Herzig, Andreas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {821-827},
  doi       = {10.24963/IJCAI.2017/114},
  url       = {https://mlanthology.org/ijcai/2017/belardinelli2017ijcai-dynamic/}
}