Filtrer vos résultats
- 39
- 4
- 21
- 13
- 5
- 3
- 1
- 39
- 16
- 1
- 1
- 1
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 1
- 3
- 5
- 1
- 2
- 1
- 5
- 1
- 1
- 37
- 3
- 2
- 1
- 26
- 15
- 4
- 4
- 1
- 43
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
43 résultats
|
|
triés par
|
Demokratia ja tiedollisen kompetenssin haaste2021, pp.34-39
Autre publication scientifique
hal-04456449v1
|
|||
Sur les « opérateurs rétrogrades »Philosophia Scientiae, 2004, Logique & théorie des jeux, 8 (2), pp.145-160
Article dans une revue
hal-01249661v1
|
|||
Identitas Indiscernibilium McTaggartin ontologiassaAjatus, 1995, 52, pp.19-28
Article dans une revue
hal-01249658v1
|
|||
Cross-world Identity, Temporal Quantifiers and the Question of Tensed ContentsA. Torza. Quantifiers, Quantifiers, and Quantifiers --- Themes in Logic, Metaphysics, and Language, 2015
Chapitre d'ouvrage
hal-03089378v1
|
|||
Decidability of IF Modal Logic of Perfect RecallCollege Publications. Advances in Modal Logic vol. 5, pp.111-131, 2005
Chapitre d'ouvrage
hal-01249655v1
|
|||
On Modal Logic, IF Logic, and IF Modal LogicCollege Publications. Advances in Modal Logic vol. 6, pp.481-501, 2006
Chapitre d'ouvrage
hal-01249651v1
|
|||
Johannes Rudbeckius --- Concluding Speech of the Collegium Logicum That Was Held in Wittenberg from 20th October 1608 until 12th January 16092017, pp.209-217
Autre publication scientifique
hal-03089410v1
|
|||
Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics.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 ModelsA. 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
|
|||
Harhaanjohtavia visioita tieteestä2018, pp.42-47
Autre publication scientifique
hal-03089416v1
|
|||
The Truth of Future Contingents: An Analysis of Truth-Maker IndeterminacyFilosofiska Notiser, 2020, 17 (1), pp.53-77
Article dans une revue
hal-03089402v1
|
|||
A Formal Framework for Future ContingentsFilosofiska Notiser, 2020, 17 (1), pp.79-136
Article dans une revue
hal-03089405v1
|
|||
Aikamuotojen loogisesta esittämisestäPuhe ja Kieli, 2004, 24 (3), pp.145-158
Article dans une revue
hal-01249657v1
|
|||
|
Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance.Philosophy. Université de Helsinki, 2004. English. ⟨NNT : ⟩
Thèse
tel-00856495v1
|
||
On the Existence of a Modal-Logical Basis for Monadic Second-Order LogicJournal of Logic and Computation, 2012, pp.1-24. ⟨10.1093/logcom/exs001⟩
Article dans une revue
halshs-00715638v1
|
|||
Logique & théorie des jeuxKimé, 8 (2), pp.225, 2004, Philosophia Scientiae
Ouvrages
hal-00133356v1
|
|||
Three Nordic Neo-Aristotelians and the First Doorkeeper of LogicStudia Neoaristotelica, 2022, 19 (1), pp.3-106. ⟨10.5840/studneoar20221911⟩
Article dans une revue
hal-04456442v1
|
|||
Ongelmallinen demokratia2020, pp.28-33
Autre publication scientifique
hal-03089420v1
|
|||
|
Between De Dicto and De Re: De Objecto AttitudesPhilosophical 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 LogicStudia Neoaristotelica, 2018, 15 (2), pp.135-215
Article dans une revue
hal-03089401v1
|
|||
|
Equivalence Criteria for Compositional IF Modal LogicsElectronic 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.Australasian Journal of Philosophy, 2011, 89/1, pp. 101-114. ⟨10.1080/00048401003649591⟩
Article dans une revue
halshs-00652249v1
|
|||
IF Modal Logic and Classical NegationStudia Logica, 2014, 102 (1), pp.41-66. ⟨10.1007/s11225-012-9462-3⟩
Article dans une revue
hal-01249499v1
|
|||
Objects and Modalities: A Study in the Semantics of Modal LogicSpringer, 41, 2017, Logic, Epistemology, and the Unity of Science
Ouvrages
hal-03089408v1
|
|||
Unity, Truth and the LiarOuvrages hal-01249659v1 |
|||
Remarks on Individuals in Modal ContextsRevue Internationale de Philosophie, 2009, 63 (250), pp.383-394
Article dans une revue
hal-00856497v1
|
|||
On Some Logic Games in Their Philosophical ContextLecomte & Tronçon (eds.). Ludics, Dialogue and Interaction, Berlin, Springer, pp. 88-113., 2011
Chapitre d'ouvrage
halshs-00652262v1
|
|||
|
Insights into Modal Slash Logic and Modal Decidability2012, pp.1-63
Autre publication scientifique
halshs-00715648v1
|
||
|
Classical Negation and Game-Theoretical SemanticsNotre Dame Journal of Formal Logic, 2014, 55 (4), pp.469-498. ⟨10.1215/00294527-2798709⟩
Article dans une revue
hal-01249500v1
|
||
Johannes Rudbeckius’s Conclusio collegii logici (1609) --- Introduction to the TranslationStudia Neoaristotelica, 2017, 14 (2), pp.189-207
Article dans une revue
hal-03089381v1
|
- 1
- 2