Wolfgang Rautenberg was a German mathematician and logician whose areas of research were model theory, non-classical logic, modal logic, temporal logic and self reference. Wikipedia