Tero Tulenheimo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cross-world identity, temporal quantifiers and the question of tensed contents Synthese Library	2020-07-23	Paper
Objects and modalities. A study in the semantics of modal logic Logic, Epistemology, and the Unity of Science	2017-08-02	Paper
Worlds, times and selves revisited Synthese	2017-03-14	Paper
The two faces of compatibility with justified beliefs Synthese	2017-03-08	Paper
Equivalence criteria for compositional IF modal logics Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Classical negation and game-theoretical semantics Notre Dame Journal of Formal Logic	2015-02-26	Paper
IF modal logic and classical negation Studia Logica	2014-06-19	Paper
On the existence of a modal-logical basis for monadic second-order logic Journal Of Logic And Computation	2013-04-19	Paper
Propositional logics for three	2011-05-31	Paper
Modal logic of time division	2011-03-30	Paper
On some logic games in their philosophical context Ludics, Dialogue and Interaction	2011-03-04	Paper
scientific article; zbMATH DE number 5734948 (Why is no real title available?)	2010-07-09	Paper
Hybrid logic meets IF modal logic Journal of Logic, Language and Information	2010-01-06	Paper
Partially ordered connectives and monadic monotone strict NP Journal of Logic, Language and Information	2009-06-17	Paper
From games to dialogues and back. Towards a general frame for validity	2009-04-14	Paper
scientific article; zbMATH DE number 5542570 (Why is no real title available?)	2009-04-14	Paper
scientific article; zbMATH DE number 5295726 (Why is no real title available?)	2008-07-01	Paper
Logical Approaches to Computational Barriers Lecture Notes in Computer Science	2007-04-30	Paper
Decidability of IF modal logic of perfect recall	2006-08-15	Paper
scientific article; zbMATH DE number 2196604 (Why is no real title available?)	2005-08-22	Paper

Research outcomes over time

This page was built for person: Tero Tulenheimo