Filtrer vos résultats
- 39
- 21
- 34
- 12
- 6
- 4
- 2
- 1
- 1
- 2
- 60
- 6
- 3
- 1
- 3
- 3
- 8
- 5
- 3
- 2
- 7
- 3
- 7
- 3
- 1
- 7
- 4
- 3
- 55
- 3
- 2
- 59
- 5
- 2
- 1
- 60
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
60 résultats
|
|
triés par
|
|
An Analytic Calculus for the Intuitionistic Logic of ProofsNotre Dame Journal of Formal Logic, 2019, 60, pp.353-393
Article dans une revue
hal-01621420v1
|
||
|
Grounding and propositional identity: a solution to Wilhelm's inconsistenciesLogic and Logical Philosophy, In press
Article dans une revue
hal-03605456v1
|
||
|
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic LogicStudia Logica, 2010, 94 (1), pp.47-72. ⟨10.1007/s11225-010-9224-z⟩
Article dans une revue
istex
hal-01869991v1
|
||
Proof TheoryThe Reasoner, 2009, 3, pp.8-9
Article dans une revue
halshs-00775820v1
|
|||
Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.Logique et Analyse, 2013, numéro spécial Dynamic in Logic, p
Article dans une revue
halshs-00905611v1
|
|||
|
Grounding rules for (relevant) implicationJournal of Applied Non-Classical Logics, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩
Article dans une revue
hal-02953412v1
|
||
|
Les conditionnelsF. Poggiolesi et P. Wagner. Précis de Philosophie de la Logique, Vol. 1, Editions de la Sorbonne, 2021
Chapitre d'ouvrage
hal-02390490v2
|
||
|
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016Logic and Logical Philosophy, 2016, 26, pp.555-560. ⟨10.12775/LLP.2016.019⟩
Article dans une revue
hal-01397073v1
|
||
Review of: One Hundred Years of Intuitionism (1907-2007)Mathématiques et Sciences Humaines, 2009, 186, pp.89-90
Article dans une revue
halshs-00775823v1
|
|||
Proof TheoryF. Russo, Jon Williamson. continuum, pp.2, 2010
Ouvrages
halshs-00775819v1
|
|||
|
Modal Truths from an Analytic-Synthetic Kantian DistinctionA. Moktefi, L. Moretti, F. Schang, eds. Soyons Logiques / Let us be logical, 22, College Publications, pp.149-160, 2016, Cahiers de Logique et d'Epistemologie 978-1-84890-090-5
Chapitre d'ouvrage
halshs-00775811v1
|
||
Defining Formal Explanation in Classical Logic by Substructural DerivabilityComputability in Europe 2021: Connecting with Computability, 2021
Chapitre d'ouvrage
hal-03501265v1
|
|||
|
Towards a generalization of the logic of groundingTheoria: An International Journal for Theory and Foundations of Science, In press, 36, pp.5-24
Article dans une revue
hal-02860310v1
|
||
|
Reflecting the Semantic Features of S5 at the Syntactic LevelM. D'Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia. New Essays in Logic and Philosophy of Science, College Publications, pp.13-25, 2010, 978-1-84890-003-5
Chapitre d'ouvrage
halshs-00775814v1
|
||
|
Common knowledge: finite calculus with a syntactic cut-elimination procedureLogique et Analyse, 2015, 58 (230), pp.279-306
Article dans une revue
halshs-00775822v1
|
||
Towards a Satisfying Proof Analysis of the Logic of ProofsProceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Nov 2010, San Sebastian-Donostia, Spain. pp.371-387
Communication dans un congrès
halshs-00775817v1
|
|||
|
Bolzano, (the appropriate) relevant logic and ground-ing rules for implicationB. Schnieder and S. Roski. Bolzano and grounding, Oxford University Press, 2021
Chapitre d'ouvrage
hal-01912139v1
|
||
|
Defining Formal Explanation in Classical Logic by Substructural DerivabilityComputability in Europe 2021: Connecting with Computability, Jul 2021, Ghent, Belgium
Communication dans un congrès
hal-03192655v1
|
||
|
A purely syntactic and cut-free sequent calculus for the modal logic of provabilityThe review of symbolic logic, 2009, 2 (4), pp.593-611
Article dans une revue
halshs-00775808v1
|
||
Interpreting and Applying Proof Theory for Modal LogicGreg Restall, Gillian Russell, eds. New Waves in Philosophical Logic, Palgrave Macmillan, pp.39-62, 2012, New Waves of Philosophy
Chapitre d'ouvrage
halshs-00775812v1
|
|||
A New Definition of the Došen's Principle21st International Symposium Logica, Jun 2007, Prague, Czech Republic. pp.133-142
Communication dans un congrès
halshs-00775818v1
|
|||
|
A Cut-Free Simple Sequent Calculus for Modal Logic S5The review of symbolic logic, 2008, 1 (1), pp.3-15
Article dans une revue
halshs-00775809v1
|
||
|
From a single agent to multi-agent via hypersequentsLogica Universalis, 2013, 7, pp.147-166. ⟨10.1007/s11787-012-0047-8⟩
Article dans une revue
halshs-00775806v1
|
||
Cogito Work-shop.A brief history of proof theory for modal logic., Sep 2013, Padua, Italy
Communication dans un congrès
halshs-01021548v1
|
|||
Gentzen Calculi for Modal Propositional LogicSpringer, pp.233, 2010
Ouvrages
halshs-00775804v1
|
|||
|
Are the validities of modal logic analytic? Or analyticity again through information, proof, modal logic and HintikkaPhilosophia Scientiae, 2015, 19, ⟨10.4000/philosophiascientiae.1110⟩
Article dans une revue
hal-01252305v1
|
||
|
No title2019
Pré-publication, Document de travail
hal-02091633v1
|
||
|
LogicsMichael Raven. Routledge Handbook for Metaphysical Grounding, 2020, ISBN-13: 978-0815366492
Chapitre d'ouvrage
hal-02100816v2
|
||
|
Nested Sequents or Tree-hypersequents -A surveyR. Padro and Yale Weiss. Saul Kripke on Modal Logic, Springer, In press, Outstanding Contributions to Logic
Chapitre d'ouvrage
hal-03590537v2
|
||
|
La nozione di fondazione: uno dei modi in cui la logica aiuta la filosofiaOrdinare il mondo : prospettive logiche ed epistemologiche su scienza, natura e società, pp.96-110, 2020
Chapitre d'ouvrage
hal-03096042v1
|
- 1
- 2