Journals in DBLP

Studia Logica
2001, volume: 69, number: 2

1. Roy Dyckhoff, Heinrich Wansing
   Editorial. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:69, n:2, pp:195-196 [Journal]
   
2. Arnon Avron, Beata Konikowska
   Decomposition Proof Systems for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:69, n:2, pp:197-219 [Journal]
   
3. Diderik Batens, Joke Meheus
   Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:69, n:2, pp:221-248 [Journal]
   
4. Uwe Egly
   On Different Intuitionistic Calculi and Embeddings from Int to S4. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:69, n:2, pp:249-277 [Journal]
   
5. Raymond D. Gumb
   An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:69, n:2, pp:279-292 [Journal]
   
6. Christoph Kreitz, Brigitte Pientka
   Connection-Driven Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:69, n:2, pp:293-326 [Journal]