Moshe Y. Vardi. Why is Modal Logic So Robustly Decidable?. In Neil Immerman, Phokion G. Kolaitis, editors, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University. Volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 149-184, American Mathematical Society, 1996.
Abstract is missing.