makes modal logic so robustly decidable?, Descriptive complexity and finite models (1997)

by What