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

Piero A. Bonatti

Browse the full IJCAI paper archive.