Journals in DBLP
Andrea Cantini Levels of Truth. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:185-213 [Journal ] Lloyd Humberstone The Logic of Non-contingency. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:214-229 [Journal ] Steven T. Kuhn Minimal Non-contingency Logic. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:230-234 [Journal ] George Gargov An Approach to Uncertainty via Sets of Truth Values. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:235-268 [Journal ] Tapani Hyttinen Remarks on Structure Theorems for omega_{1} -Saturated Models. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:269-278 [Journal ] Uwe Meixner Ontologically Minimal Logical Semantics. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:279-298 [Journal ] James Cain Arithmetic With Satisfaction. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:299-303 [Journal ] Dorella Bellè , Franco Parlamento Decidability and Completeness for Open Formulas of Membership Theories. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:304-318 [Journal ] M. S. Joy , Victor J. Rayward-Smith NP-Completeness of a Combinator Optimization Problem. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:319-335 [Journal ] Graeme Forbes Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press, 1993. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:336-339 [Journal ]