We stand with Ukraine  

Mattia Petrolo

Orcid: 0000-0002-5981-7539

According to our database1, Mattia Petrolo authored at least 8 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Revising the Elenchus via Belief Revision.
[BibTeX]
[DOI]
Ekaterina Kubyshkina
,
Mattia Petrolo
Logica Universalis, 2023

A Logical Approach to Algorithmic Opacity.
[BibTeX]
[DOI]
Mattia Petrolo
,
Ekaterina Kubyshkina
,
Giuseppe Primiero
Proceedings of the 2nd Workshop on Bias, 2023

2022
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.
[BibTeX]
[DOI]
Paolo Pistone
,
Luca Tranchini
,
Mattia Petrolo
Stud Logica, 2022

Logics of Ignorance and Being Wrong.
[BibTeX]
[DOI]
David R. Gilbert
,
Ekaterina Kubyshkina
,
Mattia Petrolo
,
Giorgio Venturi
Log. J. IGPL, 2022

Reasoning About Algorithmic Opacity (short paper).
[BibTeX]
[DOI]
Mattia Petrolo
,
Ekaterina Kubyshkina
Proceedings of 1st Workshop on Bias, 2022

2021
A logic for factive ignorance.
[BibTeX]
[DOI]
Ekaterina Kubyshkina
,
Mattia Petrolo
Synth., 2021

2019
The Naturality of Natural Deduction.
[BibTeX]
[DOI]
Luca Tranchini
,
Paolo Pistone
,
Mattia Petrolo
Stud Logica, 2019

The naturality of natural deduction (II). Some remarks on atomic polymorphism.
[BibTeX]
[DOI]
Paolo Pistone
,
Luca Tranchini
,
Mattia Petrolo
CoRR, 2019


  Loading...