Roger Antonsen

Why is Modal Logic so Robustly Decidable?

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