Volume 2, Number 1, March 1994
: A Modal Logic for Quantification and Substitution.
: Applications of Linear Logic to Computation: An Overview.
Volume 2, Number 2, September 1994
: A Rapprochement between Deductive and Inductive Logic.
Sven Ove Hansson
: Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993.
: Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993.