Journals in DBLP

Studia Logica
2005, volume: 81, number: 3

1. Pavel Naumov
   On Modal Logics of Partial Recursive Functions. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:295-309 [Journal]
   
2. Joan Gispert, Antoni Torrens
   Axiomatic Extensions of IMT3 Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:311-324 [Journal]
   
3. Guram Bezhanishvili, Leo Esakia, David Gabelaia
   Some Results on Modal Axiomatization and Definability for Topological Spaces. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:325-355 [Journal]
   
4. Lawrence Peter Belluce, Antonio di Nola
   Frames and MV-algebras. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:357-385 [Journal]
   
5. Victor Pambuccian
   Groups and Plane Geometry. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:387-398 [Journal]
   
6. Katalin Bimbó
   Admissibility of Cut in LC with Fixed Point Combinator. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:399-423 [Journal]
   
7. Roderic A. Girle
   Melvin Fitting, Types Tableaus and Gödel's God. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:425-427 [Journal]