The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
1994, volume: 53, number: 2

  1. Michael Freund, Daniel J. Lehmann
    Nonmonotonic reasoning: from finitary relations to infinitary inference operations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:161-202 [Journal]
  2. Vladimir V. Rybakov
    Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:203-226 [Journal]
  3. Misao Nagayama
    On a property of BCK-identities. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:227-234 [Journal]
  4. Frank Wolter
    What is the upper part of the lattice of bimodal logics? [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:235-242 [Journal]
  5. Fernando Guzmán
    A Gentzen system for conditional logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:243-258 [Journal]
  6. Ming Xu
    Decidability of Stit theory with a single agent and Refref Equivalence. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:259-298 [Journal]
  7. Valentin Goranko
    Refutation systems in modal logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:299-324 [Journal]
  8. George Weaver
    Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:325-342 [Journal]
  9. Marek Tokarz
    Non-axiomatizability of Grice's implicature. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:2, pp:343-350 [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