- Bangs L. Tapscott:
Correcting the tableau procedure for S4. Notre Dame J. Formal Log. 25(3): 241-249 (1984) - Carl G. Wagner:
Aggregating subjective probabilities: some limitative theorems. Notre Dame J. Formal Log. 25(3): 233-240 (1984) - Dag Westerståhl:
Some results on quantifiers. Notre Dame J. Formal Log. 25(2): 152-170 (1984) - Michael J. White:
The necessity of the past and modal-tense logic incompleteness. Notre Dame J. Formal Log. 25(1): 59-71 (1984) - Mitsuru Yasuhara:
Extensionality in Bernays set theory. Notre Dame J. Formal Log. 25(4): 357-363 (1984) - Alberto Zanardo:
Individual concepts as propositional variables in MLν+1. Notre Dame J. Formal Log. 25(4): 332-346 (1984)