Marco Volpe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Whitney stratifications are conically smooth Selecta Mathematica. New Series	2023-10-06	Paper
Verdier duality on conically smooth stratified spaces	2022-06-06	Paper
From axioms to synthetic inference rules via focusing Annals of Pure and Applied Logic	2022-04-01	Paper
Certification of prefixed tableau proofs for modal logic	2021-12-07	Paper
Certification of prefixed tableau proofs for modal logic (available as arXiv preprint)	2021-12-07	Paper
The six operations in topology	2021-10-19	Paper
A general proof certification framework for modal logic Mathematical Structures in Computer Science	2019-10-09	Paper
scientific article; zbMATH DE number 6863660 (Why is no real title available?)	2018-04-23	Paper
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations Information and Computation	2017-09-04	Paper
A history of until Electronic Notes in Theoretical Computer Science	2016-08-05	Paper
Focused labeled proof systems for modal logic Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics Theoretical Computer Science	2015-10-12	Paper
Quantum State Transformations and Branching Distributed Temporal Logic Logic, Language, Information, and Computation	2015-01-13	Paper
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators Logica Universalis	2013-04-08	Paper
Classic-like cut-based tableau systems for finite-valued logics Logic, Language, Information and Computation	2012-09-21	Paper
Back from the future Journal of Applied Non-Classical Logics	2012-07-17	Paper
Labelled natural deduction for a bundled branching temporal logic Journal Of Logic And Computation	2011-12-19	Paper
A Labeled Natural Deduction System for a Fragment of CTL * Logical Foundations of Computer Science	2009-02-24	Paper

Research outcomes over time

This page was built for person: Marco Volpe