Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Nicola Olivetti
Map detail
Nicola Olivetti8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNicola OlivettiANicola OlivettiResearcherTowards a Proof Theory of Gödel Modal LogicsWTowards a Proof Theory ...preprint / 2011Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexityWHypersequent calculi fo...preprint / 2020Uniform labelled calculi for preferential conditional logics based on neighbourhood semanticsWUniform labelled calcul...preprint / 2020On Rational Closure in Description Logics of TypicalityWOn Rational Closure in ...preprint / 2013Rational Closure in SHIQWRational Closure in SHIQpreprint / 2014Reasoning about Typicality and Probabilities in Preferential Description LogicsWReasoning about Typical...preprint / 2020Internal and External Calculi: Ordering the Jungle without Being Lost in TranslationsWInternal and External C...preprint / 2025
Person7 links

Nicola Olivetti

Researcher