- Patricia M. Hill, John W. Lloyd, John C. Shepherdson:
Properties of a Pruning Operator. J. Log. Comput. 1(1): 99-143 (1990) - Michael Kaminski, Michael L. Tiomkin:
Finite and Circular Path Models for Branching Time Logics. J. Log. Comput. 1(1): 71-82 (1990) - Els Laenens, Dirk Vermeir:
A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185 (1990) - Donald Nute:
Editorial. J. Log. Comput. 1(2): 155-158 (1990)
