Nicola Olivetti (Aix-Marseille University

Identifiers

• name variant Nicola Olivetti (Aix-Marseille University 0.60 · backfill

Papers (1)

1. Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus cs.LO · 2026 · author #3

Mentions

• 2606.31877 #3 · arxiv_oai · confidence 0.70 Nicola Olivetti (Aix-Marseille University

Frequent Coauthors

• CNRS) 1 shared papers
• Czech Academy of Sciences) 1 shared papers
• Han Gao (Institute of Computer Science 1 shared papers