Roger Antonsen
Om
Foredrag
Bøker
Presse
Undervisning
Forskning
Kunst
Blogg
EN
NO
Why is modal logic so robustly decidable?
Foredrag
11. March 2002
Med Helle Hansen for kurset «Automated Reasoning» ved Universiteit van Amsterdam, Nederland