Francesca Poggiolesi

21 papers B 1C 1Journal 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
(Conceptual) explanations in logic.
J. Log. Comput.
Francesca Poggiolesi
2025 J jnl
Dynamic Hypersequents for Public Announcement Logic.
CoRR
Clara Lerouvillois, Francesca Poggiolesi
2025 J jnl
Explaining with Reasons: from Aristotle to Machine Learning Classifiers.
Rev. Symb. Log.
Brian Hill, Francesca Poggiolesi
2022 B conf
Explanations in logic.
AiML
Francesca Poggiolesi
2021 C conf
Defining Formal Explanation in Classical Logic by Substructural Derivability.
CiE
Francesco A. Genco, Francesca Poggiolesi
2021 J jnl
Grounding principles for (relevant) implication.
Synth.
Francesca Poggiolesi
2021 J jnl
Grounding rules for (relevant) implication.
J. Appl. Non Class. Logics
Francesca Poggiolesi
2021 J jnl
Grounding, Quantifiers, and Paradoxes.
J. Philos. Log.
Francesco A. Genco, Francesca Poggiolesi, Lorenzo Rossi
2020 J jnl
Grounding rules and (hyper-)isomorphic formulas.
Australas. J. Log.
Francesca Poggiolesi
2019 J jnl
An Analytic Calculus for the Intuitionistic Logic of Proofs.
Notre Dame J. Formal Log.
Brian Hill, Francesca Poggiolesi
2019 J jnl
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032).
Dagstuhl Reports
Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi
2018 J jnl
On constructing a logic for the notion of complete and immediate formal grounding.
Synth.
Francesca Poggiolesi
2016 J jnl
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.
Stud Logica
Francesca Poggiolesi
2016 J jnl
On defining the notion of complete and immediate formal grounding.
Synth.
Francesca Poggiolesi
2013 J jnl
From Single Agent to Multi-Agent via Hypersequents.
Logica Universalis
Francesca Poggiolesi
2012 — ch.
Conservativeness and Eliminability for Anti-Realistic Definitions.
The Realism-Antirealism Debate in the Age of Alternative Logics
Francesca Poggiolesi
2010 J jnl
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.
Stud Logica
Brian Hill, Francesca Poggiolesi
2010 J jnl
Display calculi and other modal calculi: a comparison.
Synth.
Francesca Poggiolesi
2009 J jnl
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.
Rev. Symb. Log.
Francesca Poggiolesi
2009 — ch.
The Method of Tree-Hypersequents for Modal Propositional Logic.
Towards Mathematical Philosophy
Francesca Poggiolesi
2008 J jnl
A Cut-Free Simple Sequent Calculus for Modal Logic S5.
Rev. Symb. Log.
Francesca Poggiolesi