Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

43 résultats
Page :
triés par

Demokratia ja tiedollisen kompetenssin haaste

 Tero Tulenheimo , Giuseppina Ronzitti
2021, pp.34-39
Autre publication scientifique hal-04456449v1

Sur les « opérateurs rétrogrades »

 Tero Tulenheimo
Philosophia Scientiae, 2004, Logique & théorie des jeux, 8 (2), pp.145-160
Article dans une revue hal-01249661v1

Identitas Indiscernibilium McTaggartin ontologiassa

 Tero Tulenheimo
Ajatus, 1995, 52, pp.19-28
Article dans une revue hal-01249658v1

Johannes Rudbeckius --- Concluding Speech of the Collegium Logicum That Was Held in Wittenberg from 20th October 1608 until 12th January 1609

 Tero Tulenheimo
2017, pp.209-217
Autre publication scientifique hal-03089410v1

Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics.

 Tero Tulenheimo
P. E. Bour, M. Rebuschi & L. Rollet (eds.). Construction –Festschrift for Gerhard Heinzmann., London: College Publications, pp. 417-430., 2010
Chapitre d'ouvrage halshs-00562340v1

Partially Ordered Connectives and \Sigma^1_1 on Finite Models

 Merlijn Sevenster , Tero Tulenheimo
A. Beckmann, U. Berger, B. Löwe, and J. Tucker. Logical Approaches to Computational Barriers, 3988, pp.516-525, 2006, Lecture Notes in Computer Science
Chapitre d'ouvrage hal-01249653v1

Cross-world Identity, Temporal Quantifiers and the Question of Tensed Contents

 Tero Tulenheimo
A. Torza. Quantifiers, Quantifiers, and Quantifiers --- Themes in Logic, Metaphysics, and Language, 2015
Chapitre d'ouvrage hal-03089378v1

On Modal Logic, IF Logic, and IF Modal Logic

 Tero Tulenheimo , Merlijn Sevenster
College Publications. Advances in Modal Logic vol. 6, pp.481-501, 2006
Chapitre d'ouvrage hal-01249651v1

Decidability of IF Modal Logic of Perfect Recall

 Tapani Hyttinen , Tero Tulenheimo
College Publications. Advances in Modal Logic vol. 5, pp.111-131, 2005
Chapitre d'ouvrage hal-01249655v1

Three Nordic Neo-Aristotelians and the First Doorkeeper of Logic

 Tero Tulenheimo
Studia Neoaristotelica, 2022, 19 (1), pp.3-106. ⟨10.5840/studneoar20221911⟩
Article dans une revue hal-04456442v1

Ongelmallinen demokratia

 Tero Tulenheimo
2020, pp.28-33
Autre publication scientifique hal-03089420v1
Image document

Between De Dicto and De Re: De Objecto Attitudes

 Manuel Rebuschi , Tero Tulenheimo
Philosophical Quarterly, 2011, 61 (245), pp.828-838. ⟨10.1111/j.1467-9213.2011.701.x⟩
Article dans une revue halshs-00633982v1

Johannes Rudbeckius’s View on the Nature of Logic

 Tero Tulenheimo
Studia Neoaristotelica, 2018, 15 (2), pp.135-215
Article dans une revue hal-03089401v1

Equivalence Criteria for Compositional IF Modal Logics

 Tero Tulenheimo , Manuel Rebuschi
Electronic Notes in Theoretical Computer Science, 2009, 231, pp.153-173. ⟨10.1016/j.entcs.2009.02.034⟩
Article dans une revue halshs-00556238v1

Negation and Temporal Ontology.

 Tero Tulenheimo
Australasian Journal of Philosophy, 2011, 89/1, pp. 101-114. ⟨10.1080/00048401003649591⟩
Article dans une revue halshs-00652249v1

IF Modal Logic and Classical Negation

 Tero Tulenheimo
Studia Logica, 2014, 102 (1), pp.41-66. ⟨10.1007/s11225-012-9462-3⟩
Article dans une revue hal-01249499v1

Harhaanjohtavia visioita tieteestä

 Giuseppina Ronzitti , Tero Tulenheimo
2018, pp.42-47
Autre publication scientifique hal-03089416v1

The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy

 Tero Tulenheimo
Filosofiska Notiser, 2020, 17 (1), pp.53-77
Article dans une revue hal-03089402v1

A Formal Framework for Future Contingents

 Tero Tulenheimo
Filosofiska Notiser, 2020, 17 (1), pp.79-136
Article dans une revue hal-03089405v1

Aikamuotojen loogisesta esittämisestä

 Tero Tulenheimo
Puhe ja Kieli, 2004, 24 (3), pp.145-158
Article dans une revue hal-01249657v1
Image document

Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance.

 Tero Tulenheimo
Philosophy. Université de Helsinki, 2004. English. ⟨NNT : ⟩
Thèse tel-00856495v1

On the Existence of a Modal-Logical Basis for Monadic Second-Order Logic

 Lauri Hella , Tero Tulenheimo
Journal of Logic and Computation, 2012, pp.1-24. ⟨10.1093/logcom/exs001⟩
Article dans une revue halshs-00715638v1

Logique & théorie des jeux

 Manuel Rebuschi , Tero Tulenheimo
Kimé, 8 (2), pp.225, 2004, Philosophia Scientiae
Ouvrages hal-00133356v1

Objects and Modalities: A Study in the Semantics of Modal Logic

 Tero Tulenheimo
Springer, 41, 2017, Logic, Epistemology, and the Unity of Science
Ouvrages hal-03089408v1

Unity, Truth and the Liar

 Shahid Rahman , Tero Tulenheimo , Emmanuel Genot
Springer. , 8, 2008, Logic, Epistemology, and the Unity of Science, 978-1-4020-8467-6
Ouvrages hal-01249659v1

Remarks on Individuals in Modal Contexts

 Tero Tulenheimo
Revue Internationale de Philosophie, 2009, 63 (250), pp.383-394
Article dans une revue hal-00856497v1

On Some Logic Games in Their Philosophical Context

 Tero Tulenheimo
Lecomte & Tronçon (eds.). Ludics, Dialogue and Interaction, Berlin, Springer, pp. 88-113., 2011
Chapitre d'ouvrage halshs-00652262v1
Image document

Insights into Modal Slash Logic and Modal Decidability

 Tero Tulenheimo
2012, pp.1-63
Autre publication scientifique halshs-00715648v1

Classical Negation and Game-Theoretical Semantics

 Tero Tulenheimo
Notre Dame Journal of Formal Logic, 2014, 55 (4), pp.469-498. ⟨10.1215/00294527-2798709⟩
Article dans une revue hal-01249500v1

From Games to Dialogues and Back: Towards a General Frame for Validity

 Shahid Rahman , Tero Tulenheimo
O. Majer et alii. Games: Unifying Logic, Language and Philosophy, Springer, pp.153-208, 2008
Chapitre d'ouvrage halshs-01249647v1
Page :