Tero Tulenheimo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2016

The two faces of compatibility with justified beliefsTero Tulenheimo. synthese, 193(1):15-30, 2016. [doi]

Worlds, times and selves revisitedTero Tulenheimo. synthese, 193(11):3713-3725, 2016. [doi]

2014

IF Modal Logic and Classical NegationTero Tulenheimo. sLogica, 102(1):41-66, 2014. [doi]

Classical Negation and Game-Theoretical SemanticsTero Tulenheimo. ndjfl, 55(4):469-498, 2014. [doi]

2013

On the existence of a modal-logical basis for monadic second-order logicLauri Hella, Tero Tulenheimo. logcom, 23(1):157-180, 2013. [doi]

2011

On Some Logic Games in Their Philosophical ContextTero Tulenheimo. In Alain Lecomte, Samuel Tronçon, editors, Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers. Volume 6505 of Lecture Notes in Computer Science, pages 88-113, Springer, 2011. [doi]

2009

From Games to Dialogues and BackShahid Rahman, Tero Tulenheimo. In Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo, editors, Games: Unifying Logic, Language, and Philosophy. Volume 15 of Logic, Epistemology, and the Unity of Science, pages 153-208, Springer, 2009. [doi]

Equivalence Criteria for Compositional IF Modal LogicsTero Tulenheimo, Manuel Rebuschi. ENTCS, 231:153-173, 2009. [doi]

Hybrid Logic Meets IF Modal LogicTero Tulenheimo. jolli, 18(4):559-591, 2009. [doi]

2008

Partially Ordered Connectives and Monadic Monotone Strict NPLauri Hella, Merlijn Sevenster, Tero Tulenheimo. jolli, 17(3):323-344, 2008. [doi]

Modal logic of time divisionTero Tulenheimo. aiml 2008: 363-387 [doi]

2006

Partially Ordered Connectives and Sum:::1:::::1:: on Finite ModelsMerlijn Sevenster, Tero Tulenheimo. cie 2006: 516-525 [doi]

On Modal Logic, IF Logic, and IF Modal LogicTero Tulenheimo, Merlijn Sevenster. aiml 2006: 481-501 [doi]

2004

Decidability of IF Modal Logic of Perfect RecallTapani Hyttinen, Tero Tulenheimo. aiml 2005: 111-131 [doi]

2002

On IF Modal Logic and its Expressive PowerTero Tulenheimo. aiml 2003: 475-498

Sign in or sign up to see more results.

runs on WebDSL