On the Undecidability of Description and Dynamic Logics with Recursion and Counting

Bonatti. "On the Undecidability of Description and Dynamic Logics with Recursion and Counting." International Joint Conference on Artificial Intelligence, 2003.

[Bonatti. "On the Undecidability of Description and Dynamic Logics with Recursion and Counting." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/bonatti2003ijcai-undecidability/)

@inproceedings{bonatti2003ijcai-undecidability,
  title     = {{On the Undecidability of Description and Dynamic Logics with Recursion and Counting}},
  author    = {Bonatti, Piero A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {331-336},
  url       = {https://mlanthology.org/ijcai/2003/bonatti2003ijcai-undecidability/}
}