The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
2002, volume: 70, number: 2

  1. Josep Maria Font, Petr Hájek
    On Lukasiewicz's Four-Valued Modal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:157-182 [Journal]
  2. Sándor Jenei, Franco Montagna
    A Proof of Standard Completeness for Esteva and Godo's Logic MTL. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:183-192 [Journal]
  3. Tomasz F. Skura
    Refutations, Proofs, and Models in the Modal Logic K4. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:193-204 [Journal]
  4. Ian M. Hodkinson
    Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:205-240 [Journal]
  5. Ortrun Ibens
    Connection Tableau Calculi with Disjunctive Constraints. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:241-270 [Journal]
  6. Zoran Petric
    Coherence in Substructural Categories. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:271-296 [Journal]
  7. Rodney G. Downey
    Roman Murawski, Recursive Functions and Metamathematics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:297-299 [Journal]
  8. Greg O'Keefe
    Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:299-302 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002