BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
scientific article; zbMATH DE number 7576539