Matteo De Berardinis

1. 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