About Projects Contact

Logic!

Frame-based Completeness of Intermediate Logics Notes on Constructive Set Theory Set-Theoretic Consistency via Infinitary Modal Canonicity