A four-valued hybrid logic with non-dual modal operators
scientific article; zbMATH DE number 7218621