An incompleteness theorem in modal logic. Theoria, 40:150– 158 (1974)

by S Thomason
Venue:ISLA, Informatics Institute Universiteit van Amsterdam Kruislaan 403 1098 SJ Amsterdam, The Netherlands balder.tencate@uva.nl