A Negationless Interpretation of Intuitionistic Theories. II
Varieties of Three-Valued Heyting Algebras with a Quantifier
Arrow Logic and Infinite Counting
Non-Commutative Topology and Quantales*
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster*
First Order Common Knowledge Logics
Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God
Philosophy of Mathematics Today
Multi-Dimensional Modal Logic
Structures in Logic and Computer Science
Reasoning with Rules
Bounded Variable Logics and Counting. A Study in Finite Model Theory
An Essay on Contraction
Logic and the Imperial Stoa
Proof Theory and Automated Deduction