Journals in DBLP

Logic Journal of the IGPL
2005, volume: 13, number: 2

1. Douglas S. Bridges
   A Weak Constructive Sequential Compactness Property and the Fan Theorem. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:151-158 [Journal]
   
2. Robin Hirsch
   The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:159-171 [Journal]
   
3. Paulo Mateus, João Rasga, Cristina Sernadas
   Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:173-199 [Journal]
   
4. M. I. Golovanov, A. V. Kosheleva, Vladimir V. Rybakov
   Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:201-209 [Journal]
   
5. John K. Slaney
   Semipositive LTL with an Uninterpreted Past Operator. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:211-229 [Journal]
   
6. John Woods
   Dialectical Considerations on the Logic of Contradiction: Part I. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:231-260 [Journal]
   
7. Shunsuke Yatabe
   A note on Hájek, Paris and Shepherdson's theorem. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:2, pp:261-266 [Journal]