
Journals in DBLP
 Eike Ritter, David J. Pym, Lincoln A. Wallen
Proofterms for classical and intuitionistic resolution. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:173207 [Journal]
 John T. Baldwin
Stability, the finite cover property and 01 laws. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:209212 [Journal]
 Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola
Sequent calculi for finitevalued Lukasiewicz logics via Boolean decompositions. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:213222 [Journal]
 Frank Wolter
The product of converse PDL and polymodal K. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:223251 [Journal]
 Kaile Su, Huowang Chen, Decheng Ding
Two alternative notions of 'possibility' satisfying Halpern's conditions. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:253269 [Journal]
 Rana Barua, Suman Roy, Chaochen Zhou
Completeness of neighbourhood logic. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:271295 [Journal]
 B. O. Akinkunmi
On the expressive limits of reified theories. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:2, pp:297313 [Journal]
