Name Card

Full name Familienname, Vorname
Olivetti, Nicola
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii Analytic Proof Theory for Aqvist's System FInproceedings Konferenzbeitrag 28-Aug-2023
2Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
3Dalmonte, Tiziano ; Olivetti, Nicola Proof Systems for the Logics of Bringing-It-About.Konferenzbeitrag Inproceedings 2021
4Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.Artikel Article 2021
5Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola Nested Sequents for the Logic of Conditional BeliefKonferenzbeitrag Inproceedings 2019
6Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal LogicsKonferenzbeitrag Inproceedings 2016
7Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Lukasiewicz logic: From proof system to logic programmingArtikel Article2005
8Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Sequent and Hypersequent Calculi for Abelian and Lukasiewicz LogicsArtikel Article2005

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Cerna, David Schematic Cut Elimination and the Ordered Pigeonhole PrincipleKonferenzbeitrag Inproceedings2016