On IF Modal Logic and its Expressive Power. - Tero Tulenheimo (Advances in Modal Logic, 2002)

Decidability of IF Modal Logic of Perfect Recall. - Tapani Hyttinen; Tero Tulenheimo (Advances in Modal Logic, 2004)

On Modal Logic, IF Logic, and IF Modal Logic. - Tero Tulenheimo; Merlijn Sevenster (Advances in Modal Logic, 2006)

Partially Ordered Connectives and Sum11 on Finite Models. - Merlijn Sevenster; Tero Tulenheimo (CiE, 2006)

Equivalence Criteria for Compositional IF Modal Logics. - Tero Tulenheimo; Manuel Rebuschi (M4M, 2007)

Modal logic of time division. - Tero Tulenheimo (Advances in Modal Logic, 2008)

Partially Ordered Connectives and Monadic Monotone Strict NP. - Lauri Hella; Merlijn Sevenster; Tero Tulenheimo (J. Log. Lang. Inf., 2008)

Hybrid Logic Meets IF Modal Logic. - Tero Tulenheimo (J. Log. Lang. Inf., 2009)

From Games to Dialogues and Back. - Shahid Rahman; Tero Tulenheimo (Games: Unifying Logic, Language, and Philosophy, 2009)

On Some Logic Games in Their Philosophical Context. - Tero Tulenheimo (PRELUDE Project, 2011)

On the existence of a modal-logical basis for monadic second-order logic. - Lauri Hella; Tero Tulenheimo (J. Log. Comput., 2013)

Classical Negation and Game-Theoretical Semantics. - Tero Tulenheimo (Notre Dame J. Formal Log., 2014)

IF Modal Logic and Classical Negation. - Tero Tulenheimo (Stud Logica, 2014)

The two faces of compatibility with justified beliefs. - Tero Tulenheimo (Synth., 2016)

Worlds, times and selves revisited. - Tero Tulenheimo (Synth., 2016)