Ghilardi Silvio
Full professor
Scientific-Disciplinary Sector
MATH-01/A - Mathematical Logic
Scientific-Disciplinary Group/Competition Sector
01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
Assignments
- Head of Study Programme - Academic Board for the Bachelor'S and Master'S Degree Programmes in Mathematics
Research fields and competencies
Teaching - Programme courses
Bachelors and masters
A.Y. 2025/2026
A.Y. 2024/2025
A.Y. 2023/2024
A.Y. 2022/2023
A.Y. 2021/2022
A.Y. 2020/2021
A.Y. 2019/2020
Research
Publications
-
Investigating Definability in Propositional Logic via Sheaves on Grothendieck Topologies / S. Ghilardi (CHAPMAN MATHEMATICAL NOTES). - In: The Mathematical and Philosophical Legacy of Alexander Grothendieck / [a cura di] M. Panza, D.C. Struppa, J.-J. Szczeciniarz. - [s.l] : Birkhauser, 2025. - ISBN 978-3-031-68933-8. - pp. 433-452 [10.1007/978-3-031-68934-5_16]
-
A calculus for modal compact Hausdorff spaces / N. Bezhanishvili, L. Carai, S. Ghilardi, Z. Zhao. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (2025), pp. exae086.1-exae086.30. [Epub ahead of print] [10.1093/logcom/exae086]
-
Formal Verification of Storm Topologies - Supplementary Material / E. Pagani, M. Maria Bersani, M. Erascu, F. Marconi, S. Ghilardi. - (2024 Apr 10). [10.5281/zenodo.10955819]
-
Profiniteness, monadicity and universal models in modal logic / M. De Berardinis, S. Ghilardi. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 175:7(2024), pp. 103454.1-103454.25. [10.1016/j.apal.2024.103454]
-
Unification with Simple Variable Restrictions and Admissibility of Π2 -Rules / R. Almeida, S. Ghilardi (ADVANCES IN MODAL LOGIC). - In: Advances in Modal Logic / [a cura di] A. Ciabattoni, D. Gabelaia, I. Sedlar. - [s.l] : College Publications, 2024. - ISBN 978-1-84890-467-5. - pp. 79-100 (( Intervento presentato al 15. convegno Advances in Modal Logic tenutosi a Prague nel 2024.