Journals in DBLP

J. Log. Comput.
1997, volume: 7, number: 2

1. Jianhua Chen
   The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:2, pp:159-174 [Journal]
   
2. Lawrence C. Paulson
   Mechanizing Coinduction and Corecursion in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:2, pp:175-204 [Journal]
   
3. Martin Grohe
   Existential Least Fixed-Point Logic and its Relatives. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:2, pp:205-228 [Journal]
   
4. Raymond Turner
   Reading Between the Lines in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:2, pp:229-250 [Journal]
   
5. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
   Modal Deduction in Second-Order Logic and Set Theory - I. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:2, pp:251-265 [Journal]
   
6. Dino Pedreschi, Salvatore Ruggieri
   Verification of Meta-Interpreters. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:2, pp:267-303 [Journal]