- Stephen Pollard:
A Strengthening of Scott's ZF≠ Result. Notre Dame J. Formal Log. 31(3): 369-370 (1990) - Lisa Reidhaar-Olson:
A New Proof of the Fixed-Point Theorem of Probability Logic. Notre Dame J. Formal Log. 31(1): 37-43 (1990) - Elias E. Savellos:
On Defining Identity. Notre Dame J. Formal Log. 31(3): 476-484 (1990) - George F. Schumm, Stewart Shapiro:
Expressive Completeness and Decidability. Notre Dame J. Formal Log. 31(4): 576-579 (1990) - Krister Segerberg:
Validity and Satisfaction in Imperative Logic. Notre Dame J. Formal Log. 31(2): 203-221 (1990) - Gary P. Shannon:
Provable Forms of Martin's Axiom. Notre Dame J. Formal Log. 31(3): 382-388 (1990) - Saharon Shelah, Charles Steinhorn:
The Nonaxiomatizability of L(Q2ℵ1) by Finitely Many Schemata. Notre Dame J. Formal Log. 31(1): 1-13 (1990) - Fred Sommers:
Predication in the Logic of Terms. Notre Dame J. Formal Log. 31(1): 106-126 (1990) - Timothy J. Surendonk:
A Lemma in the Logic of Action. Notre Dame J. Formal Log. 31(2): 222-224 (1990) - Noby-Yuki Suzuki:
Some Syntactical Properties of Intermediate Predicate Logics. Notre Dame J. Formal Log. 31(4): 548-559 (1990) - Mike Townsend:
Complexity for Type-2 Relations. Notre Dame J. Formal Log. 31(2): 241-262 (1990) - Raymond Turner:
Logics of Truth. Notre Dame J. Formal Log. 31(2): 308-329 (1990) - Yde Venema:
Expressiveness and Completeness of an Interval Tense Logic. Notre Dame J. Formal Log. 31(4): 529-547 (1990) - Frans Voorbraak:
A Simplification of the Completeness Proofs for Guaspari and Solovay's R. Notre Dame J. Formal Log. 31(1): 44-63 (1990) - Timothy Williamson:
Verification, Falsification, and Cancellation in KT. Notre Dame J. Formal Log. 31(2): 286-290 (1990)