Olivetti, Nicola

1. Intuitionistic Non-Normal Modal Logics: A general framework
   2019/01/28 by Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola · 3 citations
   #03B45 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
   2020/02/14 by Girlando, Marianna, Negri, Sara, Olivetti, Nicola · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
   2023/09/12 by Balbiani, Philippe, Gao, Han, Gencer, Çiğdem +1 · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Local Intuitionistic Modal Logics and Their Calculi
   2024/03/11 by Philippe Balbiani, Han Gao, Balbiani, Philippe +5 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge