Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
Rules of Existential Quantification into “Intensional Contexts”
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable*
On the Algebraizability of Annotated Logics*
Not Every “Tabular” Predicate Logic is Finitely Axiomatizable
Supererogation in Deontic Logic
Lambda Calculus and Intuitionistic Linear Logic*
Contents of Volume 59