Concepedia

Jouko Väänánen

JV

39

Publications

1.7K

Citations

24

H-Index

1984

Active since

Affiliations

University of Helsinki(Current)

University of Amsterdam

Statistics Finland

Helsinki Institute of Physics

Hebrew University of Jerusalem

Jouko Väänánen is an author at University of Helsinki specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsComputer ScienceLinguisticsLanguageGame TheoryDiscrete MathematicsFormal Semantics

Publications per year

1984–2025

39

Publications

39

Dependence and Independence

Erich Grädel, Jouko Väänánen · Studia Logica · 2013 · 221 citations

Economics, Coexistence, Path Dependence +3

Second-Order Logic and Foundations of Mathematics

Jouko Väänánen · Bulletin of Symbolic Logic · 2001 · 120 citations

Second-order Logic, Automated Reasoning, First-order Set Theory +11

Generalized quantifiers and pebble games on finite structures

Phokion G. Kolaitis, Jouko Väänánen · Annals of Pure and Applied Logic · 1995 · 118 citations

Automated Reasoning, Combinatorial Game, Game Semantics +3

Propositional logics of dependence

Fan Yang, Jouko Väänánen · Annals of Pure and Applied Logic · 2016 · 89 citations · Full text

Non-classical Logic, Automated Reasoning, Propositional Logic +3

Samson Abramsky, Jouko Väänánen · Synthese · 2008 · 79 citations

Intuitionistic Logic

Rows per page

1–5 of 39