Rineke Verbrugge. Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 11-12, College Publications, 2022.
Abstract is missing.