Picture for Juan Pablo Aguilera

Juan Pablo Aguilera

Gödel-Dummett linear temporal logic

Add code
Jun 27, 2023
Viaarxiv icon