Modal Horn Classes
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs
A Negationless Interpretation of Intuitionistic Theories. I
On Definability of the Equality in Classes of Algebras with an Equivalence Relation*
P-compatible hypersubstitution and M P -solid varieties
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction
Sentential Probability Logic,
The Sense of Reference
Formal Ontology
Semantics and Logics of Computation
Logic, Language and Computation
Advances in Intensional Logic
Proper and Improper Forcing
Realistic Rationalism
Metamathematics of First-Order Arithmetic
Epistemic Logic and the theory of Games and Decisions
Logiques Classiques et Non Classiques
Logic and Scientific Methods. Volume One of the tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
Logic Colloquium '96
Contents of Volume 64