Labeled Natural Deduction Systems for a Family of Tense Logics. - Luca Viganò 001; Marco Volpe 001 (TIME, 2008)

A Labeled Natural Deduction System for a Fragment of CTL*. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (LFCS, 2009)

A History of Until. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (M4M, 2009)

Back from the future. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (J. Appl. Non Class. Logics, 2010)

Labeled natural deduction for temporal logics. - Marco Volpe 001 (2010)

Labelled natural deduction for a bundled branching temporal logic. - Andrea Masini; Luca Viganò 001; Marco Volpe 001 (J. Log. Comput., 2011)

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. - Marco Volpe 001; João Marcos 001; Carlos Caleiro (WoLLIC, 2012)

Using Interpolation for the Verification of Security Protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001; Giacomo Dalle Vedove (STM, 2013)

A Labeled Deduction System for the Logic UB. - Carlos Caleiro; Luca Viganò 001; Marco Volpe 001 (TIME, 2013)

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. - Carlos Caleiro; Luca Viganò 001; Marco Volpe 001 (Logica Universalis, 2013)

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). - Luca Viganò 001; Marco Volpe 001; Margherita Zorzi (WoLLIC, 2014)

Focused Labeled Proof Systems for Modal Logic. - Dale Miller 001; Marco Volpe 001 (LPAR, 2015)

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. - Carlos Caleiro; João Marcos 001; Marco Volpe 001 (Theor. Comput. Sci., 2015)

A focused framework for emulating modal proof systems. - Sonia Marin; Dale Miller 001; Marco Volpe 001 (Advances in Modal Logic, 2016)

Certification of Prefixed Tableau Proofs for Modal Logic. - Tomer Libal; Marco Volpe 001 (GandALF, 2016)

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. - Luca Viganò 001; Marco Volpe 001; Margherita Zorzi (Inf. Comput., 2017)

An interpolation-based method for the verification of security protocols. - Marco Rocchetto; Luca Viganò 001; Marco Volpe 001 (J. Comput. Secur., 2017)

A general proof certification framework for modal logic. - Tomer Libal; Marco Volpe 001 (Math. Struct. Comput. Sci., 2019)

Enhancing Interactivity in Propp-Based Narrative Generation. - Luis Mienhardt; Marco Volpe 001 (ICIDS, 2021)

From axioms to synthetic inference rules via focusing. - Sonia Marin; Dale Miller 001; Elaine Pimentel; Marco Volpe 001 (Ann. Pure Appl. Log., 2022)

Is GPT-4 Good Enough to Evaluate Jokes? - Fabrício Góes; Piotr Sawicki; Marek Grzes; Marco Volpe 001; Dan Brown 001 (ICCC, 2023)

Pushing GPT's Creativity to Its Limits: Alternative Uses and Torrance Tests. - Fabrício Góes; Piotr Sawicki; Marek Grzes; Marco Volpe 001; Jacob Watson (ICCC, 2023)

Do LLMs Agree on the Creativity Evaluation of Alternative Uses? - Abdullah Al Rabeyah; Fabrício Góes; Marco Volpe 001; Talles H. Medeiros (CoRR, 2024)

Are Frontier Large Language Models Suitable for Q&A in Science Centres? - Jacob Watson; Fabrício Góes; Marco Volpe 001; Talles H. Medeiros (CoRR, 2024)