Tero Tulenheimo

According to our database, Tero Tulenheimo authored at least 15 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

Worlds, times and selves revisited.

Tero Tulenheimo

Synth., 2016

The two faces of compatibility with justified beliefs.

Tero Tulenheimo

Synth., 2016

2014

IF Modal Logic and Classical Negation.

Tero Tulenheimo

Stud Logica, 2014

Classical Negation and Game-Theoretical Semantics.

Tero Tulenheimo

Notre Dame J. Formal Log., 2014

2013

On the existence of a modal-logical basis for monadic second-order logic.

Lauri Hella, Tero Tulenheimo

J. Log. Comput., 2013

2011

On Some Logic Games in Their Philosophical Context.

Tero Tulenheimo

Proceedings of the Ludics, Dialogue and Interaction - PRELUDE Project, 2011

2009

From Games to Dialogues and Back.

Shahid Rahman, Tero Tulenheimo

Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

Hybrid Logic Meets IF Modal Logic.

Tero Tulenheimo

J. Log. Lang. Inf., 2009

2008

Partially Ordered Connectives and Monadic Monotone Strict NP.

Lauri Hella, Merlijn Sevenster, Tero Tulenheimo

J. Log. Lang. Inf., 2008

Modal logic of time division.

Tero Tulenheimo

Proceedings of the Advances in Modal Logic 7, 2008

2007

Equivalence Criteria for Compositional IF Modal Logics.

Tero Tulenheimo, Manuel Rebuschi

Proceedings of the 5th Workshop on Methods for Modalities, 2007

2006

Partially Ordered Connectives and Sum¹₁ on Finite Models.

Merlijn Sevenster, Tero Tulenheimo

Proceedings of the Logical Approaches to Computational Barriers, 2006

On Modal Logic, IF Logic, and IF Modal Logic.

Tero Tulenheimo, Merlijn Sevenster

Proceedings of the Advances in Modal Logic 6, 2006

2004

Decidability of IF Modal Logic of Perfect Recall.

Tapani Hyttinen, Tero Tulenheimo

Proceedings of the Advances in Modal Logic 5, 2004

2002

On IF Modal Logic and its Expressive Power.

Tero Tulenheimo

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002