Tero Tulenheimo

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 2

Top Topics

Fixed Point Semantics

Semantics For Logic Programs

Top Venues

J. Log. Comput.

Notre Dame J. Formal Log.

Publications

Tero Tulenheimo
The two faces of compatibility with justified beliefs. Synth. 193 (1) (2016)
Tero Tulenheimo
Worlds, times and selves revisited. Synth. 193 (11) (2016)
Tero Tulenheimo
IF Modal Logic and Classical Negation. Stud Logica 102 (1) (2014)
Tero Tulenheimo
Classical Negation and Game-Theoretical Semantics. Notre Dame J. Formal Log. 55 (4) (2014)
Lauri Hella, Tero Tulenheimo
On the existence of a modal-logical basis for monadic second-order logic. J. Log. Comput. 23 (1) (2013)
Tero Tulenheimo, Manuel Rebuschi
Equivalence Criteria for Compositional IF Modal Logics. Electron. Notes Theor. Comput. Sci. 231 (2009)
Tero Tulenheimo
Hybrid Logic Meets IF Modal Logic. J. Log. Lang. Inf. 18 (4) (2009)
Tero Tulenheimo
Modal logic of time division. Advances in Modal Logic (2008)
Lauri Hella, Merlijn Sevenster, Tero Tulenheimo
Partially Ordered Connectives and Monadic Monotone Strict NP. J. Log. Lang. Inf. 17 (3) (2008)
Merlijn Sevenster, Tero Tulenheimo
on Finite Models. CiE (2006)
Tero Tulenheimo, Merlijn Sevenster
On Modal Logic, IF Logic, and IF Modal Logic. Advances in Modal Logic (2006)
Tapani Hyttinen, Tero Tulenheimo
Decidability of IF Modal Logic of Perfect Recall. Advances in Modal Logic (2004)
Tero Tulenheimo
On IF Modal Logic and its Expressive Power. Advances in Modal Logic (2002)