First-order logics of evidence and truth with constant and variable domains
scientific article; zbMATH DE number 7603235
scientific article