Journals in DBLP
Studia Logica 2000, volume: 65, number: 2
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 ] 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 ] Ágnes Kurucz Arrow Logic and Infinite Counting. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:65, n:2, pp:199-222 [Journal ] 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 ] 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 ] Frank Wolter First Order Common Knowledge Logics. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:65, n:2, pp:249-271 [Journal ]