Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

43 résultats
Page :
triés par

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

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
Image document

Insights into Modal Slash Logic and Modal Decidability

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

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

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

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

Propositional Logics for Three

 Tero Tulenheimo , Yde Venema
Dialogues, Logics and Other Strange Things, pp.399-430, 2008
Chapitre d'ouvrage hal-00857697v1

Approaches to Independence-Friendly Modal Logic

 Tero Tulenheimo , Merlijn Sevenster
Interactive Logic, Amsterdam University Press, pp.247-280, 2007
Chapitre d'ouvrage hal-00857696v1

The two faces of compatibility with justified beliefs

 Tero Tulenheimo
Synthese, 2015, ⟨10.1007/s11229-015-0742-0⟩
Article dans une revue hal-01249620v1
Image document

Logic of Time Division on Intervals of Finite Size

 Tero Tulenheimo
Logic of Knowledge - Theory and Applications, College Publications, pp.79-114, 2012
Chapitre d'ouvrage halshs-00715642v1

Des Jeux en logique.

 Manuel Rebuschi , Tero Tulenheimo
Philosophia Scientiae, 2004, 8 (2), pp.1-14
Article dans une revue hal-00133351v1

Intentionala objekt: några logiska synpunkter

 Tero Tulenheimo
Norsk filosofisk tidskrift, 2013, 48 (3-4), pp.304-314
Article dans une revue hal-01249498v1

Hybrid Logic Meets IF Modal Logic

 Tero Tulenheimo
Journal of Logic, Language and Information, 2009, 18 (4), pp.559-591
Article dans une revue hal-01249643v1

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
Page :