Eugenio Orlandelli

Identifiers

No identifiers captured yet.

Papers (2)

1. Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules cs.LO · 2026 · author #2
2. Interpolation in extensions of first-order logic math.LO · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Guido Gherardi 1 shared papers
• Paolo Maffezioli 1 shared papers
• Tim S. Lyon 1 shared papers