Matteo Tesi
Orcid: 0000-0003-2810-5835
According to our database1,
Matteo Tesi
authored at least 7 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.
Ann. Pure Appl. Log., August, 2023
2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Stud Logica, 2021
J. Log. Comput., 2021