Marco Volpe
Identifiers
- name variant Marco Volpe 0.60 · backfill
Papers (3)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics cs.LO · 2014 · author #3
- A History of Until cs.LO · 2009 · author #3
- Labeled Natural Deduction Systems for a Family of Tense Logics cs.LO · 2008 · author #2
Mentions
Frequent Coauthors
- Luca Vigan\`o 2 shared papers
- Andrea Masini 1 shared papers
- Carlos Caleiro 1 shared papers
- Jo\~ao Marcos 1 shared papers