On the Logic of Classes as Many
Free Modal Lattices via Priestley Duality
A Cut-Free Sequent System for the Smallest Interpretability Logic*
Interpolation and Definability in Guarded Fragments
Quantum Logic in Intuitionistic Perspective
Russell's Metaphysical Logic
Applied Logic