The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1995, volume: 36, number: 2

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Tapani Hyttinen
    Remarks on Structure Theorems for omega1-Saturated Models. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:2, pp:269-278 [Journal]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002