Journals in DBLP

J. Log. Comput.
1999, volume: 9, number: 5

1. Yde Venema
   Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:601-621 [Journal]
   
2. Lars Karlsson, Joakim Gustafsson
   Reasoning about Concurrent Interaction. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:623-650 [Journal]
   
3. Jürg Kohlas, Rolf Haenni, Serafín Moral
   Propositional Information Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:651-681 [Journal]
   
4. Reinhard Kahle
   Frege Structures for Partial Applicative Theories. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:683-700 [Journal]
   
5. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
   Formalizing Action and Change in Modal Logic I: the frame problem. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:701-735 [Journal]
   
6. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
   Declarative PTIME Queries for Relational Databases using Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:737-758 [Journal]
   
7. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
   A Theory and Implementation of Cognitive Mobile Robots. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:759-785 [Journal]