| |
| 2009 | ||
|---|---|---|
| 7 | EE | Tero Tulenheimo, Manuel Rebuschi: Equivalence Criteria for Compositional IF Modal Logics. Electr. Notes Theor. Comput. Sci. 231: 153-173 (2009) |
| 2008 | ||
| 6 | EE | Tero Tulenheimo: Modal logic of time division. Advances in Modal Logic 2008: 363-387 |
| 5 | EE | Lauri Hella, Merlijn Sevenster, Tero Tulenheimo: Partially Ordered Connectives and Monadic Monotone Strict NP. Journal of Logic, Language and Information 17(3): 323-344 (2008) |
| 2006 | ||
| 4 | EE | Tero Tulenheimo, Merlijn Sevenster: On Modal Logic, IF Logic, and IF Modal Logic. Advances in Modal Logic 2006: 481-501 |
| 3 | EE | Merlijn Sevenster, Tero Tulenheimo: Partially Ordered Connectives and Sum11 on Finite Models. CiE 2006: 516-525 |
| 2004 | ||
| 2 | EE | Tapani Hyttinen, Tero Tulenheimo: Decidability of IF Modal Logic of Perfect Recall. Advances in Modal Logic 2004: 111-131 |
| 2002 | ||
| 1 | Tero Tulenheimo: On IF Modal Logic and its Expressive Power. Advances in Modal Logic 2002: 475-498 | |
| 1 | Lauri Hella | [5] |
| 2 | Tapani Hyttinen | [2] |
| 3 | Manuel Rebuschi | [7] |
| 4 | Merlijn Sevenster | [3] [4] [5] |