pith. sign in

Marco Volpe

Identifiers

  • name variant Marco Volpe 0.60 · backfill

Papers (3)

  1. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics cs.LO · 2014 · author #3
  2. A History of Until cs.LO · 2009 · author #3
  3. Labeled Natural Deduction Systems for a Family of Tense Logics cs.LO · 2008 · author #2

Mentions

  • 0910.4500 #3 · backfill · confidence 0.70 Marco Volpe
  • 0803.3187 #2 · backfill · confidence 0.70 Marco Volpe

Frequent Coauthors