Gödel-Dummett linear temporal logic

Juan P. Aguilera 0001, Martín Diéguez, David Fernández Duque, Brett McLean. Gödel-Dummett linear temporal logic. Artificial Intelligence, 338:104236, 2025. [doi]

Abstract

Abstract is missing.