Mattia Petrolo

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Linear Time Temporal Logic

Cut Elimination

Natural Deduction

Top Venues

Publications

Ekaterina Kubyshkina, Mattia Petrolo
Revising the Elenchus via Belief Revision. Logica Universalis 17 (2) (2023)
Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero
A Logical Approach to Algorithmic Opacity. BEWARE@AI*IA (2023)
David R. Gilbert, Ekaterina Kubyshkina, Mattia Petrolo, Giorgio Venturi
Logics of Ignorance and Being Wrong. Log. J. IGPL 30 (5) (2022)
Mattia Petrolo, Ekaterina Kubyshkina
Reasoning About Algorithmic Opacity (short paper). BEWARE@AI*IA (2022)
Paolo Pistone, Luca Tranchini, Mattia Petrolo
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. Stud Logica 110 (2) (2022)
Ekaterina Kubyshkina, Mattia Petrolo
A logic for factive ignorance. Synth. 198 (6) (2021)
Luca Tranchini, Paolo Pistone, Mattia Petrolo
The Naturality of Natural Deduction. Stud Logica 107 (1) (2019)
Paolo Pistone, Luca Tranchini, Mattia Petrolo
The naturality of natural deduction (II). Some remarks on atomic polymorphism. CoRR (2019)