2004 |
11 | EE | Jaakko Hintikka:
Independence-friendly logic and axiomatic set theory.
Ann. Pure Appl. Logic 126(1-3): 313-333 (2004) |
2002 |
10 | EE | Jaakko Hintikka:
Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory.
Bulletin of Symbolic Logic 8(3): 404-423 (2002) |
2001 |
9 | | Gabriel Sandu,
Jaakko Hintikka:
Aspects of Compositionality.
Journal of Logic, Language and Information 10(1): 49-61 (2001) |
1998 |
8 | EE | Jaakko Hintikka:
Truth definitions, Skolem functions and axiomatic set theory.
Bulletin of Symbolic Logic 4(3): 303-337 (1998) |
1995 |
7 | | Jaakko Hintikka,
Gabriel Sandu:
What is the Logic of Parallel Processing?
Int. J. Found. Comput. Sci. 6(1): 27-49 (1995) |
1988 |
6 | | Jaakko Hintikka:
Model Minimization - An Alternative to Circumscription.
J. Autom. Reasoning 4(1): 1-13 (1988) |
1986 |
5 | | Jaakko Hintikka:
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic.
TARK 1986: 63-80 |
1984 |
4 | EE | Jaakko Hintikka:
Some varieties of information.
Inf. Process. Manage. 20(1-2): 175-181 (1984) |
1970 |
3 | | Jaakko Hintikka,
Karel De Bouvere,
Isaac Levi:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 35(1): 179-187 (1970) |
1957 |
2 | | K. Jaakko,
Jaakko Hintikka:
Vicious Circle Principle and the Paradoxes.
J. Symb. Log. 22(3): 245-249 (1957) |
1956 |
1 | | K. Jaakko,
Jaakko Hintikka:
Identity, Variables, and Impredicative Definitions.
J. Symb. Log. 21(3): 225-245 (1956) |