Ghilardi, Silvio

1. Monadic second order logic as the model companion of temporal logic
   2016/05/03 by Ghilardi, Silvio, van Gool, Samuel J. · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Petri Nets with Parameterised Data: Modelling and Verification (Extended\n Version)
   2020/06/11 by Silvio Ghilardi, Ghilardi, Silvio, Alessandro Gianola +5 · 1 citation
   Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
3. Profiniteness, Monadicity and Universal Models in Modal Logic
   2023/05/08 by Matteo De Berardinis, De Berardinis, Matteo, Silvio Ghilardi +1 · 4 citations
   Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems