Journals in DBLP

Logic Journal of the IGPL
2000, volume: 8, number: 3

1. Natasha Alechina, Neil Immerman
   Reachability Logic: An Efficient Fragment of Transitive Closure Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
   
2. Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
   Editorial. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
   
3. Patrick Blackburn
   Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
   
4. Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani
   An Analysis of Empirical Testing for Modal Decision Procedures. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
   
5. Ian Horrocks, Ulrike Sattler, Stephan Tobies
   Practical Reasoning for Very Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
   
6. Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt
   Resolution-Based Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]