The following pages link to Francesca Poggiolesi (Q332081):
Displaying 28 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- On defining the notion of complete and immediate formal grounding (Q513936) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Gentzen calculi for modal propositional logic (Q987853) (← links)
- On constructing a logic for the notion of complete and immediate formal grounding (Q1709100) (← links)
- Grounding, quantifiers, and paradoxes (Q2056222) (← links)
- Defining formal explanation in classical logic by substructural derivability (Q2117787) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- Grounding principles for (relevant) implication (Q2695404) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- (Q2973444) (← links)
- A Critical Overview of the Most Recent Logics of Grounding (Q3295827) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- (Q4925886) (← links)
- Proof Analysis. A Contribution to Hilbert's Last Problem (Q4983332) (← links)
- Grounding rules for (relevant) implication (Q5000135) (← links)
- Toward a generalization of the logic of grounding (Q5004613) (← links)
- (Q5114697) (← links)
- (Q5149061) (← links)
- (Q5354747) (← links)
- A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY (Q5850981) (← links)
- (Q5871536) (← links)
- (Q5884931) (← links)
- Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies (Q6107282) (← links)
- Mathematical explanations: an analysis via formal proofs and conceptual complexity (Q6630879) (← links)