The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1979, volume: 44, number: 2

  1. John Cowles
    The Relative Expressive Power of Some Logics Extending First-Order Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:129-146 [Journal]
  2. Judy Green
    Some Model Theory for Game Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:147-152 [Journal]
  3. George Loullis
    Sheaves and Boolean Valued Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:153-183 [Journal]
  4. Michal Krynicki, Alistair H. Lachlan
    On the Semantics of the Henkin Quantifier. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:184-200 [Journal]
  5. Kit Fine
    Failures of the Interpolation Lemma in Quantified Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:201-206 [Journal]
  6. Michael J. Carroll
    Reduction to First Degree in Quantificational S5. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:207-214 [Journal]
  7. Saharon Shelah
    On Uniqueness of Prime Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:215-220 [Journal]
  8. Luis E. Sanchis
    Reducibilities in Two Models for Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:221-234 [Journal]
  9. Phokion G. Kolaitis
    Recursion in a Quantifier vs. Elementary Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:235-259 [Journal]
  10. William Mitchell
    Ramsey Cardinals and Constructibility. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:260-266 [Journal]
  11. D. A. Turner
    Another Algorithm for Bracket Abstraction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:2, pp:267-270 [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