Journals in DBLP

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

1. Neil Ghani, Valeria de Paiva, Eike Ritter
   Linear Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:1, pp:- [Journal]
   
2. Costas D. Koutras, Stathis Zachos
   Many-Valued Reflexive Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:1, pp:- [Journal]
   
3. Orna Lichtenstein, Amir Pnueli
   Propositional Temporal Logics: Decidability and Completeness. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:1, pp:- [Journal]
   
4. Tara Nicholson, Ray E. Jennings, Darko Sarenac
   Revisiting completeness for the K_n modal logics: A new proof. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:1, pp:- [Journal]
   
5. Wojciech Penczek
   Temporal Approach to Causal Knowledge. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:1, pp:- [Journal]