Incompleteness of a first-order Gödel logic and some temporal logics of programs
scientific article; zbMATH DE number 7869514
scientific article