is modal logic so robustly decidable? volume 31 (1997)

by Why
Venue:of DIMACS Series in Discrete Mathematics and Theoretical Computer Science