Journals in DBLP

J. Log. Comput.
1995, volume: 5, number: 3

1. Chiaki Sakama, Katsumi Inoue
   Paraconsistent Stable Semantics for Extended Disjunctive Programs. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:265-285 [Journal]
   
2. Alexander V. Chagrov, Michael Zakharyaschev
   On the Independent Axiomatizability of Modal and Intermediate Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:287-302 [Journal]
   
3. Anastasia Analyti, Sakti Pramanik
   Reliable Semantics for Extended Logic Programs with Rule Prioritization. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:303-324 [Journal]
   
4. Wiebe van der Hoek, Maarten de Rijke
   Counting Objects. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:325-345 [Journal]
   
5. John Pais
   Exterior Topology and Revision Spaces. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:347-366 [Journal]
   
6. Ines Margaria, Maddalena Zacchi
   Principal Typing in a forall-and-Discipline. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1995, v:5, n:3, pp:367-381 [Journal]