Journals in DBLP

Notre Dame Journal of Formal Logic
1996, volume: 37, number: 1

1. Brian F. Chellas, Krister Segerberg
   Modal Logics in the Vicinity of S1. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:1-24 [Journal]
   
2. Maarten Marx
   Multi-Dimensional Semantics for Modal Logics. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:25-34 [Journal]
   
3. Michael Kaminski, Michael L. Tiomkin
   The Expressive Power of Second-Order Propositional Modal Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:35-43 [Journal]
   
4. Silvia Ghilezan
   Strong Normalization and Typability with Intersection Types. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:44-52 [Journal]
   
5. Andreja Prijatelj
   Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:53-70 [Journal]
   
6. Fabio Pianesi, Achille C. Varzi
   Refining Temporal Reference in Event Structures. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:71-83 [Journal]
   
7. William C. Purdy
   Decidability of Fluted Logic with Identity. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:84-104 [Journal]
   
8. Francesco Orilia
   A Contingent Russell's Paradox. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:105-111 [Journal]
   
9. John L. Bell, William Demopoulos
   Elementary Propositions and Independence. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:112-124 [Journal]
   
10. Mario Gómez-Torrente
    Tarski on Logical Consequence. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:125-151 [Journal]