Ghilardi Silvio
Professore Ordinario
Settore scientifico-disciplinare
MATH-01/A - Logica matematica
Gruppo scientifico-disciplinare / settore concorsuale
01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
Assignments
- Presidente Del Collegio Didattico - Collegio Didattico dei Corsi di Laurea e di Laurea Magistrale in Matematica
Competenze e ambito di ricerca
Office hours
venerdì alle 14
Luogo di ricevimento
Dipartimento di Matematica, via C. Saldini 50
Teaching - Programme courses
Bachelors and masters
A.A. 2024/2025
Research
Publications
-
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]
-
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]
-
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]
-
Model Completeness for Rational Trees / S. Ghilardi, L.M. Poidomani (LECTURE NOTES IN COMPUTER SCIENCE). - In: Automated Reasoning / [a cura di] C. Benzmüller, M.J.H. Heule, R.A. Schmidt. - [s.l] : Springer, 2024. - ISBN 978-3-031-63497-0. - pp. 265-283 (( Intervento presentato al 12. convegno IJCA tenutosi a Nancy nel 2024 [10.1007/978-3-031-63498-7_16].