Journals in DBLP

Notre Dame Journal of Formal Logic
2001, volume: 42, number: 1

1. Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
   Sequent Calculi for Visser's Propositional Logics. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 2001, v:42, n:1, pp:1-22 [Journal]
   
2. Tapani Hyttinen, Matti Pauna
   On Non-wellfounded Sets as Fixed Points of Substitutions. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 2001, v:42, n:1, pp:23-40 [Journal]
   
3. Dorella Bellè, Franco Parlamento
   The Decidability of the Class and the Axiom of Foundation. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 2001, v:42, n:1, pp:41-53 [Journal]
   
4. Osamu Morikawa
   Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 2001, v:42, n:1, pp:55-64 [Journal]