dblp.uni-trier.dewww.uni-trier.de

Jaakko Hintikka Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
11EEJaakko Hintikka: Independence-friendly logic and axiomatic set theory. Ann. Pure Appl. Logic 126(1-3): 313-333 (2004)
2002
10EEJaakko 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
8EEJaakko 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
4EEJaakko 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)

Coauthor Index

1Karel De Bouvere [3]
2K. Jaakko [1] [2]
3Isaac Levi [3]
4Gabriel Sandu [7] [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)