Cristian Paravano

Latest

• Encoding Modal Logics in Logical Frameworks