Journals in DBLP

J. Log. Comput.
1998, volume: 8, number: 5

1. Matteo Baldoni, Laura Giordano, Alberto Martelli
   A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:5, pp:597-635 [Journal]
   
2. A. D. Yashin
   New Solutions to Novikov's Problem for Intuitionistic Connectives. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:5, pp:637-664 [Journal]
   
3. Maurizio Castellan, Mario Piazza
   Saturated Formulas in Full Linear Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:5, pp:665-668 [Journal]
   
4. Alexander Moshe Rabinovich
   On the Decidability of Continuous Time Specification Formalisms. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:5, pp:669-678 [Journal]
   
5. Kevin Lano
   Logical Specification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1998, v:8, n:5, pp:679-711 [Journal]