Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators
A Kripke Semantics for the Logic of Gelfand Quantales
On Neat Reducts of Algebras of Logic
Gentzen-style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic
First Order Modal Logic
Bertrand Russell on Modality and Logical Relevance
Logisch-philosophische Untersuchungen
Mental Logic
Logic Programming and Knowledge Representation – Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers
Logics in Artificial Intelligence – European Workshop, JELIA '98, Dagstuhl, Germany, October 1998, Proceedings