Parikh, Rohit; Väänänen, Jouko Finite information logic. (English) Zbl 1067.03039 Ann. Pure Appl. Logic 134, No. 1, 83-93 (2005). MSC: 03B60 91A80 PDF BibTeX XML Cite \textit{R. Parikh} and \textit{J. Väänänen}, Ann. Pure Appl. Logic 134, No. 1, 83--93 (2005; Zbl 1067.03039) Full Text: DOI
Hintikka, Jaakko What is the true algebra of first-order logic? (English) Zbl 1097.03060 Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 117-128 (2004). Reviewer: Osamu Sonobe (Follonica) MSC: 03G25 03B10 03A05 03B60 91A80 PDF BibTeX XML Cite \textit{J. Hintikka}, in: First-order logic revisited. Proceedings of the conference FOL75 -- 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18--21, 2003. Berlin: Logos Verlag. 117--128 (2004; Zbl 1097.03060)
Hintikka, Jaakko A second generation epistemic logic and its general signficance. (English) Zbl 1087.03010 Hendricks, Vincent F. (ed.) et al., Knowledge contributors. Based on the conference on dimensions in epistemic logic, Roskilde, Denmark, May 2002. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1747-2/hbk). Synthese Library 322, 33-55 (2003). Reviewer: Osamu Sonobe (Follonica) MSC: 03B42 03A05 03B60 91A80 91A40 PDF BibTeX XML Cite \textit{J. Hintikka}, Synth. Libr. 322, 33--55 (2003; Zbl 1087.03010)
Eklund, Matti; Kolak, Daniel Is Hintikka’s logic first-order? (English) Zbl 1014.03027 Synthese 131, No. 3, 371-388 (2002). MSC: 03B60 03A05 PDF BibTeX XML Cite \textit{M. Eklund} and \textit{D. Kolak}, Synthese 131, No. 3, 371--388 (2002; Zbl 1014.03027) Full Text: DOI
Hyttinen, Tapani; Sandu, Gabriel Henkin quantifiers and the definability of truth. (English) Zbl 0970.03035 J. Philos. Log. 29, No. 5, 507-527 (2000). MSC: 03C80 03A05 03B10 91A05 91A80 PDF BibTeX XML Cite \textit{T. Hyttinen} and \textit{G. Sandu}, J. Philos. Log. 29, No. 5, 507--527 (2000; Zbl 0970.03035) Full Text: DOI
Hintikka, Jaakko Truth definitions, Skolem functions and axiomatic set theory. (English) Zbl 0918.03005 Bull. Symb. Log. 4, No. 3, 303-337 (1998). Reviewer: G.Mints (Stanford) MSC: 03A05 03F40 03B10 03C07 03C80 PDF BibTeX XML Cite \textit{J. Hintikka}, Bull. Symb. Log. 4, No. 3, 303--337 (1998; Zbl 0918.03005) Full Text: DOI Link
Sandu, Gabriel IF-logic and truth-definition. (English) Zbl 0905.03030 J. Philos. Log. 27, No. 2, 143-164 (1998). MSC: 03C80 03A05 PDF BibTeX XML Cite \textit{G. Sandu}, J. Philos. Log. 27, No. 2, 143--164 (1998; Zbl 0905.03030) Full Text: DOI
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0897.03004 Cambridge: Cambridge University Press. xii, 288 p. (1998). MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge University Press (1998; Zbl 0897.03004)
Hintikka, Jaakko Language, truth and logic in mathematics. (English) Zbl 0894.03001 Jaakko Hintikka Selected Papers. 3. Dordrecht: Kluwer Academic Publishers. x, 247 p. (1998). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03-02 03A05 00A30 00B10 00B60 03B60 PDF BibTeX XML Cite \textit{J. Hintikka}, Language, truth and logic in mathematics. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0894.03001)
de Swart, Harrie; Verhoeff, Tom; Brands, Renske Hintikka’s “The principles of mathematics revisited”. (English) Zbl 0977.03503 Log. Anal., Nouv. Sér. 40, No. 159, 281-289 (1997). MSC: 03A05 00A30 01A60 03B30 03B60 PDF BibTeX XML Cite \textit{H. de Swart} et al., Log. Anal., Nouv. Sér. 40, No. 159, 281--289 (1997; Zbl 0977.03503)
Sandu, Gabriel IF first-order logic, Kripke, and 3-valued logic. (English) Zbl 0877.03011 Hintikka, Jaakko, The principles of mathematics revisited. Cambridge: Cambridge Univ. Press. 254-270 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03B20 PDF BibTeX XML Cite \textit{G. Sandu}, in: The principles of mathematics revisited. Cambridge: Cambridge Univ. Press. 254--270 (1996; Zbl 0877.03011)
Hintikka, Jaakko; Sandu, Gabriel A revolution in logic? (English) Zbl 0891.03001 Nord. J. Philos. Log. 1, No. 2, 169-183 (1996). Reviewer: L.Löfgren (Lund) MSC: 03A05 03-03 01A55 PDF BibTeX XML Cite \textit{J. Hintikka} and \textit{G. Sandu}, Nord. J. Philos. Log. 1, No. 2, 169--183 (1996; Zbl 0891.03001) Full Text: Link
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0869.03003 Cambridge: Cambridge Univ. Press. xii, 288 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge Univ. Press (1996; Zbl 0869.03003)
Hintikka, Jaakko The original \(Sinn\) of Wittgenstein’s philosophy of mathematics. (English) Zbl 0837.00005 Puhl, Klaus (ed.), Wittgenstein’s philosophy of mathematics. Proceedings of the 15th international Wittgenstein-Symposium, 16-23 August 1992, Kirchberg am Wechsel, Austria. Part II. Wien: Hölder-Pichler-Tempsky. Schriftenreihe der Wittgenstein-Gesellschaft. 20/II, 24-51 (1993). Reviewer: V.Peckhaus (Erlangen) MSC: 00A30 01A60 03-03 03A05 PDF BibTeX XML Cite \textit{J. Hintikka}, in: Wittgenstein's philosophy of mathematics. Proceedings of the 15th international Wittgenstein-Symposium, 16-23 August 1992, Kirchberg am Wechsel, Austria. Part II. Wien: Hölder-Pichler-Tempsky. 24--51 (1993; Zbl 0837.00005)