Picture for Brett McLean

Brett McLean

Gödel-Dummett linear temporal logic

Add code
Jun 27, 2023
Viaarxiv icon