Why is modal logic so robustly decidable? In Descriptive complexity and finite models (1996)

by M Vardi