The following pages link to Marco Volpe (Q744989):
Displayed 17 items.
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Back from the future (Q2901197) (← links)
- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics (Q2915037) (← links)
- Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)
- Labelled natural deduction for a bundled branching temporal logic (Q3103980) (← links)
- A History of Until (Q3185767) (← links)
- Focused Labeled Proof Systems for Modal Logic (Q3460060) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- (Q4636050) (← links)
- (Q5015283) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Whitney stratifications are conically smooth (Q6093264) (← links)
- The six operations in topology (Q6380797) (← links)
- Verdier duality on conically smooth stratified spaces (Q6401273) (← links)