×
Author ID: tulenheimo.tero Recent zbMATH articles by "Tulenheimo, Tero"
Published as: Tulenheimo, Tero
External Links: MGP
Documents Indexed: 20 Publications since 2003, including 1 Book
2 Contributions as Editor
Reviewing Activity: 1 Review
Co-Authors: 8 Co-Authors with 11 Joint Publications
179 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 59 times in 42 Documents Cited by Year
Approaches to independence friendly modal logic. Zbl 1203.03041
Tulenheimo, Tero; Sevenster, Merlijn
12
2007
Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox. Zbl 1196.03001
9
2008
From games to dialogues and back. Towards a general frame for validity. Zbl 1169.03013
Rahman, Shahid; Tulenheimo, Tero
8
2009
Decidability of IF modal logic of perfect recall. Zbl 1102.03016
Hyttinen, Tapani; Tulenheimo, Tero
5
2005
On modal logic, IF logic, and IF modal logic. Zbl 1146.03009
Tulenheimo, Tero; Sevenster, Merlijn
5
2006
Objects and modalities. A study in the semantics of modal logic. Zbl 1383.03003
Tulenheimo, Tero
4
2017
Games: Unifying logic, language, and philosophy. Zbl 1154.03004
3
2009
On IF modal logic and its expressive power. Zbl 1082.03020
Tulenheimo, Tero
3
2003
Hybrid logic meets IF modal logic. Zbl 1194.03027
Tulenheimo, Tero
3
2009
Games and logic in philosophy. Zbl 1169.03300
Majer, Ondrej; Pietarinen, Ahti-Veikko; Tulenheimo, Tero
2
2009
Partially ordered connectives and \(\Sigma^{1}_{1}\) on finite models. Zbl 1145.03313
Sevenster, Merlijn; Tulenheimo, Tero
2
2006
Classical negation and game-theoretical semantics. Zbl 1342.03030
Tulenheimo, Tero
2
2014
Cross-world identity, temporal quantifiers and the question of tensed contents. Zbl 1437.03033
Tulenheimo, Tero
1
2015
Objects and modalities. A study in the semantics of modal logic. Zbl 1383.03003
Tulenheimo, Tero
4
2017
Cross-world identity, temporal quantifiers and the question of tensed contents. Zbl 1437.03033
Tulenheimo, Tero
1
2015
Classical negation and game-theoretical semantics. Zbl 1342.03030
Tulenheimo, Tero
2
2014
From games to dialogues and back. Towards a general frame for validity. Zbl 1169.03013
Rahman, Shahid; Tulenheimo, Tero
8
2009
Games: Unifying logic, language, and philosophy. Zbl 1154.03004
3
2009
Hybrid logic meets IF modal logic. Zbl 1194.03027
Tulenheimo, Tero
3
2009
Games and logic in philosophy. Zbl 1169.03300
Majer, Ondrej; Pietarinen, Ahti-Veikko; Tulenheimo, Tero
2
2009
Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox. Zbl 1196.03001
9
2008
Approaches to independence friendly modal logic. Zbl 1203.03041
Tulenheimo, Tero; Sevenster, Merlijn
12
2007
On modal logic, IF logic, and IF modal logic. Zbl 1146.03009
Tulenheimo, Tero; Sevenster, Merlijn
5
2006
Partially ordered connectives and \(\Sigma^{1}_{1}\) on finite models. Zbl 1145.03313
Sevenster, Merlijn; Tulenheimo, Tero
2
2006
Decidability of IF modal logic of perfect recall. Zbl 1102.03016
Hyttinen, Tapani; Tulenheimo, Tero
5
2005
On IF modal logic and its expressive power. Zbl 1082.03020
Tulenheimo, Tero
3
2003

Citations by Year