Nicola Olivetti
Identifiers
- name variant Nicola Olivetti 0.60 · backfill
Papers (5)
- Intuitionistic Non-Normal Modal Logics: A general framework cs.LO · 2019 · author #3
- Rational Closure in SHIQ cs.AI · 2014 · author #3
- On Rational Closure in Description Logics of Typicality cs.AI · 2013 · author #3
- Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning cs.LO · 2006 · author #3
- A Sequent Calculus and a Theorem Prover for Standard Conditional Logics cs.LO · 2004 · author #1
Mentions
Frequent Coauthors
- Gian Luca Pozzato 4 shared papers
- Laura Giordano 3 shared papers
- Valentina Gliozzi 3 shared papers
- Camilla Schwind 1 shared papers
- Charles Grellois 1 shared papers
- Tiziano Dalmonte 1 shared papers