![]() | ![]() |
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] |