Francesca Poggiolesi

Available identifiers

zbMath Open poggiolesi.francescaMaRDI QIDQ332081

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesca Poggiolesi