Allen Hazen Actuality and Quantification. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:498-508 [Journal]

David Marker Enumerations of Turing Ideals with Applications. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:509-514 [Journal]

Piero Pagliani Remarks on Special Lattices and Related Constructive Logics with Strong Negation. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:515-528 [Journal]

Yde Venema Expressiveness and Completeness of an Interval Tense Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:529-547 [Journal]

Noby-Yuki Suzuki Some Syntactical Properties of Intermediate Predicate Logics. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:548-559 [Journal]

Cinzia Bonotto A Generalization of the Adequacy Theorem for the Quasi-Senses. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:560-575 [Journal]