Marco Volpe

Available identifiers

Publication	Date of Publication	Type
Whitney stratifications are conically smooth	2023-10-06	Paper
Verdier duality on conically smooth stratified spaces	2022-06-06	Paper
From axioms to synthetic inference rules via focusing	2022-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q5015283	2021-12-07	Paper
The six operations in topology	2021-10-19	Paper
A general proof certification framework for modal logic	2019-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4636050	2018-04-23	Paper
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations	2017-09-04	Paper
A History of Until	2016-08-05	Paper
Focused Labeled Proof Systems for Modal Logic	2016-01-12	Paper
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics	2015-10-12	Paper
Quantum State Transformations and Branching Distributed Temporal Logic	2015-01-13	Paper
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators	2013-04-08	Paper
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics	2012-09-21	Paper
Back from the future	2012-07-17	Paper
Labelled natural deduction for a bundled branching temporal logic	2011-12-19	Paper
A Labeled Natural Deduction System for a Fragment of CTL *	2009-02-24	Paper

This page was built for person: Marco Volpe