Journals in DBLP

Logic Journal of the IGPL
1999, volume: 7, number: 6

1. Sergio A. Celani, Ramon Jansana
   Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:6, pp:683-715 [Journal]
   
2. Pilar Dellunde
   Equality-free Logic: The Method of Diagrams and Preservation Theorems. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:6, pp:717-732 [Journal]
   
3. Camillo Fiorentini, Pierangelo Miglioli
   A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:6, pp:733-753 [Journal]
   
4. Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
   Tableau Calculus for Local Cubic Modal Logic and it's Implementation. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:6, pp:755-778 [Journal]
   
5. Carroll Morgan, Annabelle McIver
   An Expectation-Transformer Model for Probabilistic Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:6, pp:779-804 [Journal]