The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Logic, Language and Information
1998, volume: 7, number: 3

  1. David A. Basin, Seán Matthews, Luca Viganò
    Labelled Modal Logics: Quantifiers. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:237-263 [Journal]
  2. Tijn Borghuis
    Modal Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:265-296 [Journal]
  3. Alberto Zanardo
    Undivided and Indistinguishable Histories in Branching-Time Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:297-315 [Journal]
  4. Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev
    Speaking about Transitive Frames in Propositional Languages. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:317-339 [Journal]
  5. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Temporalizing Epistemic Default Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:341-367 [Journal]
  6. Joeri Engelfriet, Jan Treur
    An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:369-388 [Journal]
  7. Hans Jürgen Ohlbach
    Extensions of First-Order Logic, Maria Manzano. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:389-391 [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