The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
2001, volume: 11, number: 1

  1. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:1- [Journal]
  2. Heinrich Wansing
    Editorial and Call for Papers. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:3-4 [Journal]
  3. Klaus Robering
    Ackermann's Implication for Typefree Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:5-23 [Journal]
  4. Benedikt Löwe
    Revision Sequences and Computers with an Infinite Amount of Time. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:25-40 [Journal]
  5. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-agent Only Knowing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:41-70 [Journal]
  6. Lionel Forget, Vincent Risch, Pierre Siegel
    Preferential Logics are X-logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:71-83 [Journal]
  7. Stephan Tobies
    PSPACE Reasoning for Graded Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:85-106 [Journal]
  8. Thomas M. Rudlof
    SHR Tableaux - A Framework for Automated Model Generation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:107-155 [Journal]
  9. Enrico Giunchiglia, Fausto Giunchiglia
    Ideal and Real Belief about Belief. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:157-192 [Journal]
  10. Luís C. Lamb
    Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:193-194 [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