Journals in DBLP

Studia Logica
2000, volume: 65, number: 2

1. Victor N. Krivtsov
   A Negationless Interpretation of Intuitionistic Theories, II. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:2, pp:155-179 [Journal]
   
2. Manuel Abad, J. Patricio Díaz Varela, L. A. Rueda, A. M. Suardíaz
   Varieties of Three-Valued Heyting Algebras with a Quantifier. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:2, pp:181-198 [Journal]
   
3. Ágnes Kurucz
   Arrow Logic and Infinite Counting. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:2, pp:199-222 [Journal]
   
4. Marcelo E. Coniglio, Francisco Miraglia
   Non-Commutative Topology and Quantales. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:2, pp:223-236 [Journal]
   
5. Tatsuya Shimura
   Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:2, pp:237-247 [Journal]
   
6. Frank Wolter
   First Order Common Knowledge Logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:65, n:2, pp:249-271 [Journal]