Marco Volpe

Marco Volpe

Universität Osnabruck - Osnabrück / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4936074
Osnabrück University
person_outline Marco Volpe's MOST POPULAR ARTICLES
1-) Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logicsC Caleiro, J Marcos, M VolpeTheoretical Computer Science 603, 84-110, 2015302015
2-) Focused labeled proof systems for modal logicD Miller, M VolpeLogic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015262015
3-) From axioms to synthetic inference rules via focusingS Marin, D Miller, E Pimentel, M VolpeAnnals of Pure and Applied Logic 173 (5), 103091, 2022212022
4-) Quantum state transformations and branching distributed temporal logicL Vigano, M Volpe, M ZorziInternational Workshop on Logic, Language, Information, and Computation, 1-19, 2014212014
5-) A focused framework for emulating modal proof systemsS Marin, D Miller, M Volpe11th conference on" Advances in Modal Logic", 469-488, 2016202016