Tero Tulenheimo

17 papers B 4C 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2016 J jnl
The two faces of compatibility with justified beliefs.
Synth.
Tero Tulenheimo
2016 J jnl
Worlds, times and selves revisited.
Synth.
Tero Tulenheimo
2014 J jnl
Classical Negation and Game-Theoretical Semantics.
Notre Dame J. Formal Log.
Tero Tulenheimo
2014 J jnl
IF Modal Logic and Classical Negation.
Stud Logica
Tero Tulenheimo
2013 J jnl
On the existence of a modal-logical basis for monadic second-order logic.
J. Log. Comput.
Lauri Hella, Tero Tulenheimo
2011 — ch.
On Some Logic Games in Their Philosophical Context.
PRELUDE Project
Tero Tulenheimo
2009 — ch.
From Games to Dialogues and Back.
Games: Unifying Logic, Language, and Philosophy
Shahid Rahman, Tero Tulenheimo
2009 — book
Games: Unifying Logic, Language, and Philosophy
Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo
2009 J jnl
Hybrid Logic Meets IF Modal Logic.
J. Log. Lang. Inf.
Tero Tulenheimo
2008 B conf
Modal logic of time division.
Advances in Modal Logic
Tero Tulenheimo
2008 J jnl
Partially Ordered Connectives and Monadic Monotone Strict NP.
J. Log. Lang. Inf.
Lauri Hella, Merlijn Sevenster, Tero Tulenheimo
2008 — book
Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox
Unity, Truth and the Liar
Shahid Rahman, Tero Tulenheimo, Emmanuel J. Genot
2007 — conf
Equivalence Criteria for Compositional IF Modal Logics.
M4M
Tero Tulenheimo, Manuel Rebuschi
2006 B conf
On Modal Logic, IF Logic, and IF Modal Logic.
Advances in Modal Logic
Tero Tulenheimo, Merlijn Sevenster
2006 C conf
Partially Ordered Connectives and Sum
CiE
Merlijn Sevenster, Tero Tulenheimo
2004 B conf
Decidability of IF Modal Logic of Perfect Recall.
Advances in Modal Logic
Tapani Hyttinen, Tero Tulenheimo
2002 B conf
On IF Modal Logic and its Expressive Power.
Advances in Modal Logic
Tero Tulenheimo