- Roman Murawski:
The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. Notre Dame J. Formal Log. 36(4): 502-504 (1995) - Kieron O'Hara, Han Reichgelt
, Nigel Shadbolt:
Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson. Notre Dame J. Formal Log. 36(3): 475-495 (1995) - Pavlos Peppas
, Mary-Anne Williams
:
Constructive Modelings for Theory Change. Notre Dame J. Formal Log. 36(1): 120-133 (1995) - Peter Roeper, Hugues Leblanc:
Consequence and Confirmation. Notre Dame J. Formal Log. 36(3): 341-363 (1995) - Mark Ryan
, Pierre-Yves Schobbens
:
Belief Revision and Verisimilitude. Notre Dame J. Formal Log. 36(1): 15-29 (1995) - James H. Schmerl:
PA(aa). Notre Dame J. Formal Log. 36(4): 560-569 (1995) - David Seetapun, Theodore A. Slaman:
On the Strength of Ramsey's Theorem. Notre Dame J. Formal Log. 36(4): 570-582 (1995) - Athanassios Tzouvaras:
Worlds of Homogeneous Artifacts. Notre Dame J. Formal Log. 36(3): 454-474 (1995) - Heinrich Wansing
:
Semantics-based Nonmonotonic Inference. Notre Dame J. Formal Log. 36(1): 44-54 (1995) - Wayne Wobcke:
Belief Revision, Conditional Logic and Nonmonotonic Reasoning. Notre Dame J. Formal Log. 36(1): 55-102 (1995)