Journals in DBLP

J. Log. Comput.
2007, volume: 17, number: 1

1. Heinrich Wansing
   Introduction and Call for Papers. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:5- [Journal]
   
2. Sebastian Bauer
   Axiomatizing the Monodic Fragment of QCTL. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:7-30 [Journal]
   
3. Víctor Dalmau, Andrei A. Krokhin, Benoit Larose
   First-order Definable Retraction Problems for Posets and Reflexive Graphs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:31-51 [Journal]
   
4. Marcelo Finger, Renata Wassermann
   Anytime Approximations of Classical Logic from Above. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:53-82 [Journal]
   
5. Thomas Ågotnes, Natasha Alechina
   The Dynamics of Syntactic Knowledge. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:83-116 [Journal]
   
6. Mark Reynolds
   A Tableau for Bundled CTL. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:117-132 [Journal]
   
7. Ian Pratt-Hartmann
   Complexity of the Guarded Two-variable Fragment with Counting Quantifiers. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:133-155 [Journal]
   
8. Francesco Ranzato, Francesco Tapparo
   Generalized Strong Preservation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:157-197 [Journal]
   
9. Wojciech Buszkowski
   On Action Logic: Equational Theories of Action Algebras. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:1, pp:199-217 [Journal]