The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Logic, Language and Information
1997, volume: 6, number: 4

  1. Yde Venema
    Editorial: Modal Logic and Dynamic Semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:357-360 [Journal]
  2. Jaap van der Does, Willem Groeneveld, Frank Veltman
    An Update on ??Might?? [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:361-380 [Journal]
  3. Marco Hollenberg
    An Equational Axiomatization of Dynamic Negation and Relational Composition. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:381-401 [Journal]
  4. Natasha Kurtonina, Maarten de Rijke
    Bisimulations for Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:403-425 [Journal]
  5. Eric Rosen
    Modal Logic over Finite Structures. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:427-439 [Journal]
  6. Albert Visser
    Dynamic Relation Logic Is the Logic of DPL-Relations. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:441-452 [Journal]
  7. Ian M. Hodkinson
    L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic Colloquium '92, Studies in Logic Language, and Information. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:453-457 [Journal]
  8. Wilfrid Hodges
    Jaakko Hintikka, The Principles of Mathematics Revisited [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:457-460 [Journal]
  9. Varol Akman
    John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phenomena. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:460-464 [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