Journals in DBLP

J. Log. Comput.
2000, volume: 10, number: 5

1. Laura Giordano, Alberto Martelli, Camilla Schwind
   Ramification and causality in a modal action logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:5, pp:625-662 [Journal]
   
2. John Derrick
   A single complete refinement rule for Z. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:5, pp:663-675 [Journal]
   
3. Anthony Hunter
   Reasoning with contradictory information using quasi-classical logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:5, pp:677-703 [Journal]
   
4. Joeri Engelfriet
   Non-cumulative reasoning: rules and models. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:5, pp:705-719 [Journal]
   
5. Fairouz Kamareddine
   Postponement, conservation and preservation of strong normalization for generalized reduction. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:5, pp:721-738 [Journal]