Journals in DBLP

J. Log. Comput.
2006, volume: 16, number: 6

1. Daniel Gaina, Andrei Popescu
   An Institution-independent Generalization of Tarski's Elementary Chain Theorem. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:713-735 [Journal]
   
2. Thomas Bolander, Torben Braüner
   Tableau-based Decision Procedures for Hybrid Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:737-763 [Journal]
   
3. Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge
   ATL Satisfiability is Indeed EXPTIME-complete. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:765-787 [Journal]
   
4. Wendy MacCaull, Ewa Orlowska
   A Logic of Type Relations and its Applications to Relational Databases. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:789-815 [Journal]
   
5. Argimiro Arratia, Carlos E. Ortiz
   Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:817-840 [Journal]
   
6. Raymond Turner
   Computability in Specification. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:841-865 [Journal]
   
7. Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
   Logics with Common Weak Completions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:867-890 [Journal]
   
8. Ernest Davis
   The Expressivity of Quantifying over Regions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:6, pp:891-916 [Journal]