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

Why is modal logic so robustly decidable?