Jaakko Hintikka

Publication Activity (10 Years)

Years Active: 1956-2019
Publications (10 Years): 3

Top Topics

Computational Properties

Automated Reasoning

Proof Theoretic

Top Venues

Logica Universalis

J. Philos. Log.

Publications

Jaakko Hintikka
Super Models. Logica Universalis 13 (2) (2019)
Jaakko Hintikka
Perspectives on the Logical Study of Language. Logica Universalis 13 (2) (2019)
Jaakko Hintikka
IF Logic and Linguistic Theory. FLAP 4 (4) (2017)
Jaakko Hintikka
If Logic, Definitions and the Vicious Circle Principle. J. Philos. Log. 41 (2) (2012)
Jaakko Hintikka
Which Mathematical Logic is the Logic of Mathematics? Logica Universalis 6 (3-4) (2012)
Jaakko Hintikka
What is the axiomatic method? Synth. 183 (1) (2011)
Jaakko Hintikka, Ilpo Halonen
Explanation: Retrospective Reflections. Synth. 143 (1-2) (2005)
Jaakko Hintikka
on Tarski's Assumptions. Synth. 142 (3) (2005)
Ilpo Halonen, Jaakko Hintikka
Toward a Theory of the Process of Explanation. Synth. 143 (1-2) (2005)
Jaakko Hintikka
Omitting Data - Ethical or Strategic Problem? Synth. 145 (2) (2005)
Jaakko Hintikka
A Fallacious Fallacy? Synth. 140 (1) (2004)
Jaakko Hintikka
Independence-friendly logic and axiomatic set theory. Ann. Pure Appl. Log. 126 (1-3) (2004)
Jaakko Hintikka
Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. Bull. Symb. Log. 8 (3) (2002)
Jaakko Hintikka
Quantum Logic as a Fragment of Independence-Friendly Logic. J. Philos. Log. 31 (3) (2002)
Jaakko Hintikka
Comment On Eklund And Kolak. Synth. 131 (3) (2002)
Jaakko Hintikka
Intuitionistic Logic As Epistemic Logic. Synth. 127 (1-2) (2001)
Jaakko Hintikka
Introduction And Postcript. Synth. 126 (1-2) (2001)
Jaakko Hintikka
Post-Tarskian Truth. Synth. 126 (1-2) (2001)
Gabriel Sandu, Jaakko Hintikka
Aspects of Compositionality. J. Log. Lang. Inf. 10 (1) (2001)
Jaakko Hintikka, Paul Bohan Broderick
Review Article. Synth. 124 (3) (2000)
Ilpo Halonen, Jaakko Hintikka
Unification - It's Magnificent But Is It Explanation? Synth. 120 (1) (1999)
Jaakko Hintikka
Truth definitions, Skolem functions and axiomatic set theory. Bull. Symb. Log. 4 (3) (1998)
Jaakko Hintikka
Perspectival Identification, Demonstratives and "small Worlds". Synth. 114 (2) (1998)
Jaakko Hintikka
On Göde's Philosophical Assumptions. Synth. 114 (1) (1998)
Jaakko Hintikka
Editorial Note. Synth. 114 (1) (1998)
Jaakko Hintikka
Hilbert vindicated? Synth. 110 (1) (1997)
Jaakko Hintikka
Editorial. Synth. 112 (1) (1997)
Jaakko Hintikka
A Revolution in the Foundations of Mathematics? Synth. 111 (2) (1997)
Jaakko Hintikka
What Was Aristotle Doing in His Early Logic, Anyway? a Reply to Woods and Hansen. Synth. 113 (2) (1997)
Jaakko Hintikka, Dag Prawitz
Preface. Synth. 106 (1) (1996)
Annie Kuipers, Jaakko Hintikka
Editorial. Synth. 102 (3) (1995)
Jaakko Hintikka, Gabriel Sandu
What is the Logic of Parallel Processing? Int. J. Found. Comput. Sci. 6 (1) (1995)
Jaakko Hintikka, Gabriel Sandu
The fallacies of the new theory of reference. Synth. 104 (2) (1995)
Jaakko Hintikka, Gabriel Sandu
What is a quantifier? Synth. 98 (1) (1994)
Jaakko Hintikka
Model Minimization - An Alternative to Circumscription. J. Autom. Reason. 4 (1) (1988)
Jaakko Hintikka
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic. TARK (1986)
Jaakko Hintikka
Some varieties of information. Inf. Process. Manag. 20 (1-2) (1984)
Jaakko Hintikka
Game-theoretical semantics: insights and prospects. Notre Dame J. Formal Log. 23 (2) (1982)
Jaakko Hintikka
Impossible possible worlds vindicated. J. Philos. Log. 4 (3) (1975)
Jaakko Hintikka
Constituents and finite identifiability. J. Philos. Log. 1 (1) (1972)
Jaakko Hintikka, Karel L. de Bouvère, Isaac Levi
Meeting of the Association for Symbolic Logic. J. Symb. Log. 35 (1) (1970)
K. Jaakko, Jaakko Hintikka
Vicious Circle Principle and the Paradoxes. J. Symb. Log. 22 (3) (1957)
K. Jaakko, Jaakko Hintikka
Identity, Variables, and Impredicative Definitions. J. Symb. Log. 21 (3) (1956)