Cn-Definitions of Propositional Connectives
Computably Enumerable Equivalence Relations
Model Existence in Non-Compact Modal Logic
Principal Congruences on Semi-De Morgan Algebras
Glivenko Type Theorems for Intuitionistic Modal Logics
Book Reviews