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

Jaakko Hintikka Coauthor index pubzone.org

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

DBLP keys2012
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: If Logic, Definitions and the Vicious Circle Principle. J. Philosophical Logic 41(2): 505-517 (2012)
2011
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: What is the axiomatic method? Synthese 183(1): 69-85 (2011)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Independence-friendly logic and axiomatic set theory. Ann. Pure Appl. Logic 126(1-3): 313-333 (2004)
2002
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. Bulletin of Symbolic Logic 8(3): 404-423 (2002)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Quantum Logic as a Fragment of Independence-Friendly Logic. J. Philosophical Logic 31(3): 197-209 (2002)
2001
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Sandu, Jaakko Hintikka: Aspects of Compositionality. Journal of Logic, Language and Information 10(1): 49-61 (2001)
1998
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Truth definitions, Skolem functions and axiomatic set theory. Bulletin of Symbolic Logic 4(3): 303-337 (1998)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka, Gabriel Sandu: What is the Logic of Parallel Processing? Int. J. Found. Comput. Sci. 6(1): 27-49 (1995)
1988
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Model Minimization - An Alternative to Circumscription. J. Autom. Reasoning 4(1): 1-13 (1988)
1986
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. TARK 1986: 63-80
1984
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka: Some varieties of information. Inf. Process. Manage. 20(1-2): 175-181 (1984)
1970
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaakko Hintikka, Karel De Bouvere, Isaac Levi: Meeting of the Association for Symbolic Logic. J. Symb. Log. 35(1): 179-187 (1970)
1957
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Jaakko, Jaakko Hintikka: Vicious Circle Principle and the Paradoxes. J. Symb. Log. 22(3): 245-249 (1957)
1956
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page