The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Logic, Language and Information
2007, volume: 16, number: 1

  1. Richard Zuber
    Symmetric and contrapositional quantifiers. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:1-13 [Journal]
  2. Kjell Johan Sæbø
    Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:15-33 [Journal]
  3. H. Kushida, M. Okada
    A proof-theoretic study of the correspondence of hybrid logic and classical logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:35-61 [Journal]
  4. Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
    Linear temporal logic as an executable semantics for planning languages. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:63-89 [Journal]
  5. John Nolt
    Reference and perspective in intuitionistic logics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:91-115 [Journal]
  6. Valentin Goranko
    Logic in Computer Science: Modelling and Reasoning About Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2007, v:16, n:1, pp:117-120 [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