Talk
March 11, 2002
With Helle Hansen for the course "Automated Reasoning" at the University of Amsterdam, Netherlands

Why is Modal Logic so Robustly Decidable?