The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
2003, volume: 75, number: 3

  1. Brian A. Davey, John C. Galati
    A Coalgebraic View of Heyting Duality. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:259-270 [Journal]
  2. Michela Sabbadin, Alberto Zanardo
    Topological Aspects of Branching-Time Semantics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:271-286 [Journal]
  3. Athanassios Tzouvaras
    The Logic of Multisets Continued: The Case of Disjunction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:287-304 [Journal]
  4. Ramon Jansana
    Leibniz Filters Revisited. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:305-317 [Journal]
  5. Cezary Cieslinski
    Löb's Theorem in a Set Theoretical Setting. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:319-326 [Journal]
  6. Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
    Euclidean Hierarchy in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:327-344 [Journal]
  7. Andrzej Indrzejczak
    A Labelled Natural Deduction System for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:345-376 [Journal]
  8. Robert Saxon Milnikel
    Embedding Modal Nonmonotonic Logics into Default Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:377-382 [Journal]
  9. Bart Van Kerkhove, Guido Vanackere
    Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:383-411 [Journal]
  10. M. Randall Holmes
    Karel Lambert, Free Logic: Selected Essays. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:413-419 [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