The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jouko A. Väänänen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Phokion G. Kolaitis, Jouko A. Väänänen
    Generalized Quantifiers and Pebble Games on Finite Structures [Citation Graph (2, 0)][DBLP]
    LICS, 1992, pp:348-359 [Conf]
  2. Phokion G. Kolaitis, Jouko A. Väänänen
    Generalized Quantifiers and Pebble Games on Finite Structures. [Citation Graph (1, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:74, n:1, pp:23-75 [Journal]
  3. Jouko A. Väänänen
    Generalized Quantifiers, an Introduction. [Citation Graph (0, 0)][DBLP]
    ESSLLI, 1997, pp:1-17 [Conf]
  4. Jouko A. Väänänen, Boban Velickovic
    Games played on partial isomorphisms. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2004, v:43, n:1, pp:19-30 [Journal]
  5. Saharon Shelah, Jouko A. Väänänen
    A note on extensions of infinitary logic. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:1, pp:63-69 [Journal]
  6. Michal Krynicki, Jouko A. Väänänen
    Henkin and Function Quantifiers. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1989, v:43, n:3, pp:273-292 [Journal]
  7. Juha Oikkonen, Jouko A. Väänänen
    Game-Theoretic Inductive Definability. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:65, n:3, pp:265-306 [Journal]
  8. Rohit Parikh, Jouko A. Väänänen
    Finite information logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:83-93 [Journal]
  9. Stevo Todorcevic, Jouko A. Väänänen
    Trees and Ehrenfeucht-Fraïssé Games. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:69-97 [Journal]
  10. Jouko A. Väänänen
    Second-order logic and foundations of mathematics. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2001, v:7, n:4, pp:504-520 [Journal]
  11. Jouko A. Väänänen
    Barwise: Abstract model theory and generalized quantifiers. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2004, v:10, n:1, pp:37-53 [Journal]
  12. Jouko A. Väänänen
    Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1997, v:62, n:, pp:- [Journal]
  13. Jouko A. Väänänen
    On the semantics of informational independence. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:3, pp:339-352 [Journal]
  14. Lauri Hella, Jouko A. Väänänen, Dag Westerståhl
    Definability of Polyadic Lifts of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:3, pp:305-335 [Journal]
  15. Jouko A. Väänänen
    Unary Quantifiers on Finite Models. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:3, pp:275-304 [Journal]
  16. Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
    The Hierarchy Theorem for Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:802-817 [Journal]
  17. Heinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen
    The Härtig Quantifier: A Survey. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:4, pp:1153-1183 [Journal]
  18. Tapani Hyttinen, Jouko A. Väänänen
    On Scott and Karp Trees of Uncountable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:897-908 [Journal]
  19. Alan H. Mekler, Jouko A. Väänänen
    Trees and Pi11-Subsets of omega1\omega1. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:1052-1070 [Journal]
  20. Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen
    On the Number of Automorphisms of Uncountable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:4, pp:1402-1418 [Journal]
  21. Saharon Shelah, Jouko A. Väänänen
    Stationary Sets and Infinitary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:1311-1320 [Journal]
  22. Jouko A. Väänänen
    Abstract Logic and Set Theory. II. Large Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:335-346 [Journal]
  23. Jouko A. Väänänen, Heikki Heikkilä
    Reflection of Long Game Formulas. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:381-392 [Journal]
  24. Saharon Shelah, Jouko A. Väänänen
    Recursive logic frames. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2006, v:52, n:2, pp:151-164 [Journal]
  25. Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen
    Quantifiers and Congruence Closure. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:62, n:3, pp:315-340 [Journal]
  26. Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
    Lindstrom theorems for fragments of first-order logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:280-292 [Conf]

  27. Preface. [Citation Graph (, )][DBLP]


  28. Dependence of variables construed as an atomic formula. [Citation Graph (, )][DBLP]


  29. Lindström theorems for fragments of first-order logic [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.016secs
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