The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
2007, volume: 17, number: 3

  1. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    A Logic for Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:415-452 [Journal]
  2. Christian G. Fermüller, Reinhard Pichler
    Model Representation over Finite and Infinite Signatures. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:453-477 [Journal]
  3. Sven Ove Hansson
    Contraction Based on Sentential Selection. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:479-498 [Journal]
  4. Magdalena Ortiz, Mauricio Osorio
    Strong Negation and Equivalence in the Safe Belief Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:499-515 [Journal]
  5. Thomas Bolander, Patrick Blackburn
    Termination for Hybrid Tableaus. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:517-554 [Journal]
  6. Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
    Epistemic Actions as Resources. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:555-585 [Journal]
  7. Emil Jerábek
    On Independence of Variants of the Weak Pigeonhole Principle. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:587-604 [Journal]

  8. An Institution-independent Generalization of Tarski's Elementary Chain Theorem. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:605- [Journal]

  9. Logics with Common Weak Completions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:607- [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