Francesca Poggiolesi

According to our database, Francesca Poggiolesi authored at least 17 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Explanations in logic.

Francesca Poggiolesi

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Grounding principles for (relevant) implication.

Francesca Poggiolesi

Synth., 2021

Grounding, Quantifiers, and Paradoxes.

Francesco A. Genco, Francesca Poggiolesi, Lorenzo Rossi

J. Philos. Log., 2021

Grounding rules for (relevant) implication.

Francesca Poggiolesi

J. Appl. Non Class. Logics, 2021

Defining Formal Explanation in Classical Logic by Substructural Derivability.

Francesco A. Genco, Francesca Poggiolesi

Proceedings of the Connecting with Computability, 2021

2019

An Analytic Calculus for the Intuitionistic Logic of Proofs.

Brian Hill, Francesca Poggiolesi

Notre Dame J. Formal Log., 2019

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032).

Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi

Dagstuhl Reports, 2019

2018

On constructing a logic for the notion of complete and immediate formal grounding.

Francesca Poggiolesi

Synth., 2018

2016

On defining the notion of complete and immediate formal grounding.

Francesca Poggiolesi

Synth., 2016

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.

Francesca Poggiolesi

Stud Logica, 2016

2013

From Single Agent to Multi-Agent via Hypersequents.

Francesca Poggiolesi

Logica Universalis, 2013

2012

Conservativeness and Eliminability for Anti-Realistic Definitions.

Francesca Poggiolesi

Proceedings of the Realism-Antirealism Debate in the Age of Alternative Logics, 2012

2010

Display calculi and other modal calculi: a comparison.

Francesca Poggiolesi

Synth., 2010

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.

Brian Hill, Francesca Poggiolesi

Stud Logica, 2010

2009

A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.

Francesca Poggiolesi

Rev. Symb. Log., 2009

The Method of Tree-Hypersequents for Modal Propositional Logic.

Francesca Poggiolesi

Proceedings of the Towards Mathematical Philosophy, 2009

2008

A Cut-Free Simple Sequent Calculus for Modal Logic S5.

Francesca Poggiolesi

Rev. Symb. Log., 2008