A Note on Goodman's Theorem
An Operational Logic of Proofs with Positive and Negative Information
Proof-Theoretic Modal PA-Completeness I
Some Logics of Iterated Belief Change
Complete Infinitary Type Logics
Everything That Linguists Have Always Wanted to Know About Logic* (*but were ashamed to ask∥
Understanding the Infinite
The Limits of Logic, Dartmouth, Aldershot, 1996, US $149.95, pp. xxii + 525, ISBN 1-85521-731-7.
Reasoning About Knowledge
Closure Spaces and Logic
Axiomatische Wahrheitstheorien
Logic with nees
George Boole
Logical Dilemmas