Person:332081

Available identifiers

zbMath Open poggiolesi.francescaMaRDI QIDQ332081

List of research outcomes

Publication	Date of Publication	Type
Mathematical explanations: an analysis via formal proofs and conceptual complexity	2024-10-31	Paper
Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies	2023-07-03	Paper
Grounding principles for (relevant) implication	2023-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5884931	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5871536	2023-01-20	Paper
Defining formal explanation in classical logic by substructural derivability	2022-03-22	Paper
Grounding, quantifiers, and paradoxes	2021-12-02	Paper
Toward a generalization of the logic of grounding	2021-08-02	Paper
Grounding rules for (relevant) implication	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5149061	2021-02-06	Paper
A Critical Overview of the Most Recent Logics of Grounding	2020-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5114697	2020-06-25	Paper
An analytic calculus for the intuitionistic logic of proofs	2019-10-22	Paper
On constructing a logic for the notion of complete and immediate formal grounding	2018-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q5354747	2017-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2973444	2017-04-03	Paper
On defining the notion of complete and immediate formal grounding	2017-03-08	Paper
Natural deduction calculi and sequent calculi for counterfactual logics	2016-10-27	Paper
Proof Analysis. A Contribution to Hilbert's Last Problem	2015-03-25	Paper
From single agent to multi-agent via hypersequents	2013-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4925886	2013-06-12	Paper
Conservativeness and Eliminability for Anti-Realistic Definitions	2012-08-29	Paper
Gentzen calculi for modal propositional logic	2010-08-16	Paper
Display calculi and other modal calculi: a comparison	2010-08-13	Paper
A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5	2010-08-13	Paper
A contraction-free and cut-free sequent calculus for propositional dynamic logic	2010-04-26	Paper
A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY	2010-01-21	Paper
The Method of Tree-Hypersequents for Modal Propositional Logic	2009-02-05	Paper

Research outcomes over time

This page was built for person: Francesca Poggiolesi