Ivano Ciardelli (University of Padua)

Identifiers

• name variant Ivano Ciardelli (University of Padua) 0.60 · backfill

Papers (3)

1. Labelled Sequents for Inquisitive First-Order Modal Logic cs.LO · 2026 · author #1
2. Inquisitive Action Logic cs.LO · 2026 · author #1
3. On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic math.LO · 2026 · author #2

Mentions

• 2606.31868 #1 · arxiv_oai · confidence 0.70 Ivano Ciardelli (University of Padua)
• 2606.31866 #1 · arxiv_oai · confidence 0.70 Ivano Ciardelli (University of Padua)
• 2603.08646 #2 · arxiv_oai · confidence 0.70 Ivano Ciardelli (University of Padua)

Frequent Coauthors

• Juha Kontinen (University of Helsinki) 1 shared papers
• Simone Conti (University of Padua) 1 shared papers