Matteo De Berardinis

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Decision Procedures

Top Venues

Ann. Pure Appl. Log.

Publications

Matteo De Berardinis, Silvio Ghilardi
Profiniteness, monadicity and universal models in modal logic. Ann. Pure Appl. Log. 175 (7) (2024)