An incompleteness theorem in modal logic (1974)

by S K Thomason
Venue:Theoria