Wolfgang Rautenberg
Wolfgang Rautenberg (27 February 1936 − 4 September 2011) was a German mathematician and logician whose areas of research were model theory, non-classical logic, modal logic, temporal logic and self reference.
Provided by Wikipedia
1