First-order Modal Logic

Torben Braüner
Department of Computer Science
Roskilde University
P.O. Box 260, DK-4000 Roskilde, Denmark
torben@ruc.dk

Silvio Ghilardi
Department of Computer Science
UniversitÓ degli Studi di Milano
via Comelico 39, 20135 Milano, Italy
ghilardi@dsi.unimi.it