(Conceptual) explanations in logic.

Francesca Poggiolesi

Francesca Poggiolesi (Conceptual) explanations in logic. 2025 35 J. Log. Comput. 4 https://doi.org/10.1093/logcom/exae064 db/journals/logcom/logcom35.html#Poggiolesi25 streams/journals/logcom

Brian Hill Francesca Poggiolesi Explaining with Reasons: from Aristotle to Machine Learning Classifiers. 1068-1089 2025 18 Rev. Symb. Log. 4 https://doi.org/10.1017/s1755020325100786 db/journals/rsl/rsl18.html#HillP25 streams/journals/rsl

Clara Lerouvillois Francesca Poggiolesi Dynamic Hypersequents for Public Announcement Logic. 2025 October abs/2510.24165 CoRR https://doi.org/10.48550/arXiv.2510.24165 db/journals/corr/corr2510.html#abs-2510-24165 streams/journals/corr

Francesca Poggiolesi Explanations in logic. 9-10 2022 AiML conf/aiml/2022 db/conf/aiml/aiml2022.html#PoggiolesiV22 http://www.aiml.net/volumes/volume14/04-Poggiolesi.pdf

Francesca Poggiolesi Grounding rules for (relevant) implication. 26-55 2021 31 J. Appl. Non Class. Logics 1 https://doi.org/10.1080/11663081.2020.1850048 db/journals/jancl/jancl31.html#Poggiolesi21

Francesco A. Genco Francesca Poggiolesi Lorenzo Rossi 0005 Grounding, Quantifiers, and Paradoxes. 1417-1448 2021 50 J. Philos. Log. 6 https://doi.org/10.1007/s10992-021-09604-w db/journals/jphil/jphil50.html#GencoPR21

Francesca Poggiolesi Grounding principles for (relevant) implication. 7351-7376 2021 198 Synth. 8 https://doi.org/10.1007/s11229-019-02523-z db/journals/synthese/synthese198.html#Poggiolesi21

Francesco A. Genco Francesca Poggiolesi Defining Formal Explanation in Classical Logic by Substructural Derivability. 237-247 2021 CiE https://doi.org/10.1007/978-3-030-80049-9_22 conf/cie/2021 db/conf/cie/cie2021.html#GencoP21

Francesca Poggiolesi Grounding rules and (hyper-)isomorphic formulas. 70-80 2020 17 Australas. J. Log. 1 https://doi.org/10.26686/ajl.v17i1.5694 db/journals/auasjlog/auasjlog17.html#Poggiolesi20 streams/journals/auasjlog

Brian Hill Francesca Poggiolesi An Analytic Calculus for the Intuitionistic Logic of Proofs. 353-393 2019 60 Notre Dame J. Formal Log. 3 https://doi.org/10.1215/00294527-2019-0008 https://www.wikidata.org/entity/Q113751504 db/journals/ndjfl/ndjfl60.html#HillP19

Guillaume Aucher Paul Égré Gabriele Kern-Isberner Francesca Poggiolesi Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). 47-66 2019 9 Dagstuhl Reports 1 https://doi.org/10.4230/DagRep.9.1.47 db/journals/dagstuhl-reports/dagstuhl-reports9.html#AucherEKP19

Francesca Poggiolesi On constructing a logic for the notion of complete and immediate formal grounding. 1231-1254 2018 195 Synth. 3 https://doi.org/10.1007/s11229-016-1265-z db/journals/synthese/synthese195.html#Poggiolesi18

Francesca Poggiolesi Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics. 1003-1036 2016 104 Stud Logica 5 https://doi.org/10.1007/s11225-016-9662-3 db/journals/sLogica/sLogica104.html#Poggiolesi16

Francesca Poggiolesi On defining the notion of complete and immediate formal grounding. 3147-3167 2016 193 Synth. 10 https://doi.org/10.1007/s11229-015-0923-x db/journals/synthese/synthese193.html#Poggiolesi16

Francesca Poggiolesi From Single Agent to Multi-Agent via Hypersequents. 147-166 2013 7 Logica Universalis 2 https://doi.org/10.1007/s11787-012-0047-8 db/journals/lu/lu7.html#Poggiolesi13

Francesca Poggiolesi Conservativeness and Eliminability for Anti-Realistic Definitions. 169-180 2012 The Realism-Antirealism Debate in the Age of Alternative Logics https://doi.org/10.1007/978-94-007-1923-1_9 series/leus/Rahman12 db/series/leus/leus23.html#Poggiolesi12

Brian Hill Francesca Poggiolesi A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic. 47-72 2010 94 Stud Logica 1 https://doi.org/10.1007/s11225-010-9224-z db/journals/sLogica/sLogica94.html#HillP10

Francesca Poggiolesi Display calculi and other modal calculi: a comparison. 259-279 2010 173 Synth. 3 https://doi.org/10.1007/s11229-008-9425-4 db/journals/synthese/synthese173.html#Poggiolesi10

Francesca Poggiolesi A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability. 593-611 2009 2 Rev. Symb. Log. 4 https://doi.org/10.1017/S1755020309990244 db/journals/rsl/rsl2.html#Poggiolesi09

Francesca Poggiolesi The Method of Tree-Hypersequents for Modal Propositional Logic. 31-51 2009 Towards Mathematical Philosophy https://doi.org/10.1007/978-1-4020-9084-4_3 books/sp/09/MMW2009 db/books/collections/MMW2009.html#Poggiolesi09

Francesca Poggiolesi A Cut-Free Simple Sequent Calculus for Modal Logic S5. 3-15 2008 1 Rev. Symb. Log. 1 https://doi.org/10.1017/S1755020308080040 db/journals/rsl/rsl1.html#Poggiolesi08

Guillaume Aucher Paul EgréPaul Égré Francesco A. Genco Brian Hill Gabriele Kern-Isberner Clara Lerouvillois Lorenzo Rossi 0005