Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4.

Rineke Verbrugge

Browse the full AiML paper archive.