Journals in DBLP

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

1. Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
   Coherence and transitivity of subtyping as entailment. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:4, pp:493-526 [Journal]
   
2. Erika F. de Lima, Christoph Lingenfelder
   Presentation of proofs in modal natural deduction. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:4, pp:527-572 [Journal]
   
3. Karl Schlechta
   Unrestricted preferential structures. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:4, pp:573-581 [Journal]
   
4. Love Ekenberg
   The logic of conflicts between decision making agents. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:4, pp:583-602 [Journal]
   
5. Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak
   Measuring similarity in belief revision. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:4, pp:603-619 [Journal]