Roger Antonsen
About
Talks
Books
Press
Teaching
Research
Art
Blog
EN
NO
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