| 2025 | WoLLIC | Paraconsistent Constructive Modal Logic. | Han Gao, Daniil Kozhemiachenko, Nicola Olivetti |
| 2025 | WoLLIC | Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. | Han Gao, Nicola Olivetti |
| 2024 | CSL | A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. | Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti |
| 2024 | IJCAR | Local Intuitionistic Modal Logics and Their Calculi. | Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti |
| 2024 | PRIMA | A Proof Calculus for Ethical Reasoning. | Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi |
| 2023 | TABLEAUX | Resolution Calculi for Non-normal Modal Logics. | Dirk Pattinson, Nicola Olivetti, Cludia Nalon |
| 2022 | PRIMA | Dyadic Obligations: Proofs and Countermodels via Hypersequents. | Agata Ciabattoni, Nicola Olivetti, Xavier Parent |
| 2022 | WoLLIC | Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2021 | TABLEAUX | Terminating Calculi and Countermodels for Constructive Modal Logics. | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
| 2020 | CADE | HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). | Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato |
| 2020 | LFCS | Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. | Tiziano Dalmonte, Bjrn Lellmann, Nicola Olivetti, Elaine Pimentel |
| 2019 | JELIA | Nested Sequents for the Logic of Conditional Belief. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti |
| 2018 | AiML | Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. | Tiziano Dalmonte, Nicola Olivetti, Sara Negri |
| 2018 | AiML | Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. | Marianna Girlando, Nicola Olivetti, Sara Negri |
| 2017 | TABLEAUX | Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2017 | TABLEAUX | VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |
| 2016 | AiML | The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. | Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch |
| 2016 | JELIA | Standard Sequent Calculi for Lewis' Logics of Counterfactuals. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2015 | TABLEAUX | A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. | Sara Negri, Nicola Olivetti |
| 2015 | TABLEAUX | A Standard Internal Calculus for Lewis' Counterfactual Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2014 | CADE | NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2012 | JELIA | Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. | Rgis Alenda, Nicola Olivetti |
| 2012 | JELIA | Nested Sequent Calculi for Conditional Logics. | Rgis Alenda, Nicola Olivetti, Gian Luca Pozzato |
| 2012 | JELIA | A Minimal Model Semantics for Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | IJCAI | Reasoning about Typicality in Low Complexity DLs: The Logics EL | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | TABLEAUX | CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. | Rgis Alenda, Nicola Olivetti |
| 2011 | TABLEAUX | A Tableau Calculus for a Nonmonotonic Extension of | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | CSL | Tableau Calculi for | Rgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky |
| 2010 | ECAI | Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | LPAR | Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. | Rgis Alenda, Nicola Olivetti |
| 2010 | LPAR | A Nonmonotonic Extension of KLM Preferential Logic P. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2009 | LPNMR | Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2009 | TABLEAUX | Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. | Rgis Alenda, Nicola Olivetti, Camilla Schwind |
| 2009 | TABLEAUX | Proof Systems for a Gdel Modal Logic. | George Metcalfe, Nicola Olivetti |
| 2008 | JELIA | Reasoning about Typicality in Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | LPAR | Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2006 | ECAI | Automated Deduction for Logics of Default Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2006 | JELIA | Analytic Tableau Calculi for KLM Rational Logic R. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2005 | LPAR | Analytic Tableaux for KLM Preferential and Cumulative Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2005 | TABLEAUX | CondLean 3.0: Improving CondLean for Stronger Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2004 | CSL | Goal-Directed Methods for Lukasiewicz Logic. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2003 | CSL | Goal-Directed Calculli for Gdel-Dummett Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2003 | TABLEAUX | Tableau Calculi for Preference-Based Conditional Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
| 2003 | TABLEAUX | CondLean: A Theorem Prover for Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2002 | TABLEAUX | Analytic Sequent Calculi for Abelian and ukasiewicz Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2000 | ECAI | A Conditional Logic for Iterated Belief Revision. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 1998 | JELIA | A Conditional Logic for Belief Revision. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 1997 | CSL | A Sequent Calculus for Circumscription. | Piero A. Bonatti, Nicola Olivetti |
| 1997 | TABLEAUX | A Sequent Calculus for Skeptical Default Logic. | Piero A. Bonatti, Nicola Olivetti |
| 1995 | LPNMR | Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1994 | ICLP | Conditonal Logic Programming. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1992 | ICLP | Negation as Failure in Intuitionistic Logic Programming. | Laura Giordano, Nicola Olivetti |