Why Is Modal Logic So Robustly Decidable (1996)

by M Y Vardi
Venue:Mathematical Society, Princeton University