Possui graduação e mestrado em Filosofia pela Universidade de Roma "La Sapienza" (Itália), doutorado em Filosofia e História da Ciência pela Universidade Paris Diderot - Paris 7 (França) e pós-doutorado em Lógica pela Universidade Paris 1 Panthéon-Sorbonne (França). Atualmente é professor adjunto de Lógica e Filosofia da Lógica do Centro de Ciências Naturais e Humanas da Universidade Federal do ABC. Tem experiência na área de Lógica com ênfase em lógica filosófica, epistemologia formal e fundamentos da matemática. (Texto informado pelo autor)
KUBYSHKINA, EKATERINA ; PETROLO, MATTIA. Revising the Elenchus via Belief Revision. Logica Universalis (Print). v. 17, p. 231-258, issn: 1661-8297, 2023.
ZANOTTI, GIACOMO ; PETROLO, MATTIA ; CHIFFI, DANIELE ; SCHIAFFONATI, VIOLA. Keep trusting! A plea for the notion of Trustworthy AI. AI & SOCIETY. v. 1, p. 1, issn: 1435-5655, 2023.
PISTONE, PAOLO ; TRANCHINI, LUCA ; PETROLO, MATTIA. The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. Studia Logica. v. 110, p. 545-592, issn: 0039-3215, 2022.
GILBERT, DAVID ; KUBYSHKINA, EKATERINA ; PETROLO, MATTIA ; VENTURI, GIORGIO. Logics of Ignorance and Being Wrong. LOGIC JOURNAL OF THE IGPL (ONLINE). v. 30, p. 870-885, issn: 1368-9894, 2022.
KUBYSHKINA, EKATERINA ; PETROLO, MATTIA. What is Normal?. LOGIQUE ET ANALYSE. v. 257, p. 25-37, issn: 0024-5836, 2022.
KUBYSHKINA, E. ; PETROLO, M.. What ignorance could not be. PRINCIPIA (FLORIANÓPOLIS. ONLINE). v. 24, p. 247-254, issn: 1808-1711, 2020.
Livros publicados/organizados ou edições (0)
Capítulos de livros publicados (0)
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (0)
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)
Produção técnica
Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)
Produção artística
Total de produção artística (0)
Orientações em andamento
Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)
Supervisões e orientações concluídas
Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)
Projetos de pesquisa
Total de projetos de pesquisa (0)
Prêmios e títulos
Total de prêmios e títulos (0)
Participação em eventos
Total de participação em eventos (8)
Advances in Modal Logic 2022. A labelled proof system for ignorance. 2022. (Congresso).
BEWARE ? 1st Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming,.Reasoning about algorithmic opacity. 2022. (Simpósio).
MOSAIC - Modalities in Substructural Logics Kick Off Meeting,. A proof-theoretic approach to ignorance. 2022. (Congresso).
Trends in Logic XXII. A logic for excusable ignorance. 2022. (Congresso).
12th International Scientific Conference "Intelligent Systems and Computer Science?,". Epistemic logics for ignorance representation. 2021. (Congresso).
12th French Workshop in Philosophy of Mathematics. A constructivist reading of the Epsilon calculus. 2020. (Congresso).
PhilMath Seminar (IHPST).Towards a logic for arbitrary mathematical objects. 2020. (Seminário).
Seminar of the Munich Center for Mathematical Philosophy (MCMP).The dark side of knowledge. 2020. (Seminário).