BOOKS

• Objects and Modalities: A Study in the Semantics of Modal Logic (Springer, Logic, Epistemology, and the Unity of Science vol. 41, 2017)

• Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance (Philosophical Studies from the University of Helsinki vol. 4, 2004) [Doctoral thesis].

PUBLISHED PAPERS

Philosophy

• [2024] (with G. Ronzitti) ‘Democracy and Knowledge: Remarks on Brennan and Wikforss’ (Filosofiska Notiser 11/1, 19–61).

• [2022] Three Nordic Neo-Aristotelians and the First Doorkeeper of Logic (Studia Neoaristotelica 19/1, 3–106)

• [2020] The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy [published online 19.11.2019] (Filosofiska Notiser 7/1, 53-77)

• [2018] Johannes Rudbeckius’s View on the Nature of Logic (Studia Neoaristotelica 15/2, 135-215)

• [2017] Johannes Rudbeckius’s Conclusio Collegii Logici (1609) — Introduction to the Translation (Studia Neoaristotelica 14/2, 189–207)

• [2016] Worlds, Times and Selves Revisited (Synthese 193/11, 3713–3725)

• [2016] The Two Faces of Compatibility with Justified Beliefs (Synthese 193/1, 15-30)

• [2015] Cross-world Identity, Temporal Quantifiers, and the Question of Tensed Contents (In A. Torza, ed. Quantifiers, Quantifiers, and Quantifiers, 409-461)

• [2013] Intentionala objekt: några logiska synpunkter (in Swedish) [Intentional objects: some logical considerations] (Norsk Filosofisk tidsskrift 48/3-4, 304-314

• [2011] (with M. Rebuschi) Between De Dicto and De Re: De Objecto Attitudes (The Philosophical Quarterly 61/245, 828-838

• [2011] On Some Logic Games in Their Philosophical Context (In Lecomte & Tronçon, eds. Ludics, Dialogue and Interaction, 88-113

• [2011] Negation and Temporal Ontology (Australasian Journal of Philosophy 89/1, 101-114

• [2010] Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics (In Bour, Rebuschi & Rollet, eds. Construction, 417-430

• [2009] Remarks on Individuals in Modal Contexts (Revue Internationale de Philosophie, 63/250, 383-394

• [2009/2013/2018/2022] Independence Friendly Logic (In Zalta, ed. Stanford Encyclopedia of Philosophy). The first version of the entry appeared in 2009, a substantially revised version in 2013; further updated versions in 2018 and 2022.

• [2006] Nominalismin rajat (in Finnish) [The Bounds of Nominalism] (In Hiipakka & Korhonen, eds. Eripituisia esseitä S. Albert Kivisen 70-vuotispäivän kunniaksi, 161-217)

• [2004] Are There Tense Operators in English? (The Logica Yearbook 2003, 271-284)

• [2004] Sur les « opérateurs rétrogrades » (Philosophia Scientiae 8/2, 145-160)

• [2004] (with M. Rebuschi) Des Jeux en logique (Philosophia Scientiae 8/2, 145-158)

• [1995] Identitas Indiscernibilium McTaggartin ontologiassa (in Finnish) [Identitas Indiscernibilium in McTaggart's ontology] (Ajatus 52, 19-28)

Logic

• [2020] A Formal Framework for Future Contingents (Filosofiska Notiser 7/1, 79-136)

• [2014] Classical Negation and Game-Theoretical Semantics (Notre Dame Journal of Formal Logic 55/4, 469-498)

• [2014] IF Modal Logic and Classical Negation (Studia Logica 102/1, 41-66)

• [2013] (with L. Hella) On the Existence of a Modal-Logical Basis for Monadic Second-Order Logic (Journal of Logic and Computation 23/1, 157-180)

• [2012] Logic of Time Division on Intervals of Finite Size (In Barés Gómez et al., eds. Logic of Knowledge, 79-114)

• [2009] Hybrid Logic Meets IF Modal Logic (J. Log. Lang. Inf. 18/4, 559-591) [*]

• [2009] (with M. Rebuschi) Equivalence Criteria for Compositional IF Modal Logics (Electronic Notes in Theoretical Computer Science 231, 153-173) [*]

• [2009] (with S. Rahman) From Games to Dialogues and Back (In Majer, Pietarinen & Tulenheimo, eds. Games: Unifying Logic, Language and Philosophy, 153-208)

• [2008] (with Y. Venema) Propositional Logics for Three (In Dégremont, Keiff & Rückert, eds. Dialogues, Logics and Other Strange Things, 399-430) [*]

• [2008] Modal Logic of Time Division (Advances in Modal Logic vol. 7, 363-387) [*]

• [2008] (with L. Hella and M. Sevenster) Partially Ordered Connectives and Monadic Monotone Strict NP (J. Log. Lang. Inf. 17/3, 323-344) [*]

• [2007] (with M. Sevenster) Approaches to Independence-Friendly Modal Logic (In van Benthem, Gabbay & Löwe, eds. Interactive Logic, 247-280) [*]

• [2006] (with M. Sevenster) On Modal Logic, IF Logic, and IF Modal Logic (Advances in Modal Logic vol. 6, 481-501) [*]

• [2006] (with M. Sevenster) Partially Ordered Connectives and \Sigma^1_1 on Finite Models (Lecture Notes in Computer Science vol. 3988, 516-525) [*]

• [2005] (with T. Hyttinen) Decidability of IF Modal Logic of Perfect Recall (Advances in Modal Logic vol. 5, 111-131) [*]

• [2003] On IF Modal Logic and its Expressive Power (Advances in Modal Logic vol. 4, 475-498) [*]

Translations

• [2017] Johannes Rudbeckius — Concluding Speech of the Collegium Logicum That Was Held in Wittenberg from 20th October 1608 until 12th January 1609 (Studia Neoaristotelica 14/2, 209–217); translation from Latin into English

Miscellaneous

• [2021] (with G. Ronzitti) Demokratia ja tiedollisen kompetenssin haaste [Democracy and the challenge of cognitive competence] (Kanava 7/2021, pp. 34-39)

• [2020] Ongelmallinen demokratia [Problematic democracy] (Kanava 1/2020, pp. 28–33)

• [2018] (with G. Ronzitti) Harhaanjohtavia visioita tieteestä [Misleading visions about science] (Kanava 2/2018, pp. 42–47)

• [2017] (with G. Ronzitti) Politiikkaa tieteen kustannuksella [Politics at the expense of science] ("Puheenvuoro" in Suomen Kuvalehti 36, 8.9.2017, p. 67)

• [2016] Dilemmat att finansiera forskning (letter to the editor in Hufvudstadsbladet 05.09.2016, p. 17)

• [2013] Vem är rädd för en språklogiker? (column in Puhe ja Kieli – Tal och Språk 33/4, p. 137)

• [2004] Aikamuotojen loogisesta esittämisestä [On logical representation of tenses] (Puhe ja Kieli – Tal och Språk 24/3, 1-14)

DOCTORAL THESIS (theoretical philosophy)

Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance (2004).

• Defense: January 17, 2004, University of Helsinki, Finland.

• Supervisors: Gabriel Sandu (University of Helsinki), Tapani Hyttinen (University of Helsinki)

• Opponent: Johan van Benthem (Universiteit van Amsterdam, Stanford University)

HABILITATION THESIS (mathematical logic)

A collection of 10 articles (2010); these articles are marked with an asterisk [*] in the list above.

• Trial lecture: June 7, 2010, University of Tampere, Finland.

• Assessors: Jouko Väänänen (Universities of Helsinki and Amsterdam), Gabriel Sandu (University of Helsinki).

EDITED

• [2009] O. Majer, A.-V. Pietarinen & T. Tulenheimo (eds.): Games: Unifying Logic, Language and Philosophy, Springer.

• [2008] S. Rahman, T. Tulenheimo & E. Genot (eds.): Unity, Truth and the Liar. The Modern Relevance of Medieval Solutions to the Liar Paradox, Springer.

• [2004] M. Rebuschi & T. Tulenheimo (eds.): Logique & théorie des jeux [Philosophia Scientiæ 8/2], Editions Kimé.

REVIEWS

Mathematical Reviews

• J. van Benthem, S. Ghosh & F. Liu, "Modelling Simultaneous Games in Dynamic Logic," Synthese 65 (2008), no. 2, 247-268 [MR2452794].

• B. Löwe & E. Pacuit, "An Abstract Approach to Reasoning about Games with Mistaken and Changing Beliefs," Australas. J. Log. 6 (2008), 162-181 [MR2465326].

• L. Humberstone, "Modal Formulas True at Some Point in Every Model," Australas. J. Log. 6 (2008), 70-82 [MR2430969].

• A. Rabinovich, "Arity Hierarchy for Temporal Logics," Theoret. Comput. Sci. 403 (2008), 373-381 [MR2441659].

Zentralblatt MATH

• M. Sevenster, "Decidability of Independence-Friendly Modal Logic," The Review of Symbolic Logic 3/3 (2010), 415-441 [Zbl 1228.03005].

PREPRINTS

• [2012] Insights into Modal Slash Logic and Modal Decidability (School of Information Sciences, Univ. of Tampere, Reports in Information Sciences vol. 6)

• [2007] Lauri Hella & Merlijn Sevenster & Tero Tulenheimo: A Note on Partially Ordered Connectives and MMSNP (Dept. of Mathematics, Statistics and Philosophy, Univ. of Tampere, Report A 376, May 2007)

• [2006] Merlijn Sevenster & Tero Tulenheimo: Finite Model Theory for Partially Ordered Connectives (ILLC Prepublication Series, PP-2006-53)

• [2006] Tero Tulenheimo & Merlijn Sevenster: Approaches to Independence-Friendly Modal Logic (ILLC Prepublication Series, PP-2006-47)

• [2006] Merlijn Sevenster & Tero Tulenheimo: Partially Ordered Connectives and \Sigma^1_1 on Finite Models (ILLC Prepublication Series, PP-2006-31)