Why is modal logic so robustly decidable?

Foredrag
11. March 2002
Med Helle Hansen for kurset «Automated Reasoning» ved Universiteit van Amsterdam, Nederland