Completeness of Certain Bimodal Logics for Subset Spaces
On Reduction Systems Equivalent to The Lambek Calculus with the Empty String
Disjunctive Quantum Logic in Dynamic Perspective
A Map of Common Knowledge Logics*
First Order Extensions of Classical Systems of Modal Logic The role of the Barcan schemas
Naïve Comprehension and Contracting Implications
Handbook of Comutability Theory