Journals in DBLP

J. Log. Comput.
2001, volume: 11, number: 5

1. Carlos Areces, Patrick Blackburn
   Bringing them all Together. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:5, pp:657-669 [Journal]
   
2. Jerry Seligman
   Internalization: The Case of Hybrid Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:5, pp:671-689 [Journal]
   
3. Maarten Marx
   Relation Algebra with Binders. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:5, pp:691-700 [Journal]
   
4. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
   Modal Logic with Bounded Quantification over Worlds. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:5, pp:701-715 [Journal]
   
5. Carlos Areces, Maarten de Rijke, Hans de Nivelle
   Resolution in Modal, Description and Hybrid Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:5, pp:717-736 [Journal]
   
6. Valentin Goranko, Dimiter Vakarelov
   Sahlqvist Formulas in Hybrid Polyadic Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:5, pp:737-754 [Journal]