Marcus Kracht Modal Logics That Need Very Large Frames. 141-173 1999 40 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl40.html#Kracht99