A Non-hyperarithmetical Gödel Logic

von Aguilera, Juan Pablo
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE

von Aguilera, Juan Pablo
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)