Modal logic is a branch of logic that extends classical ... One significant area of recent research involves the transformation of axioms into synthetic inference rules using focused variants ...

He did important work in set theory, logic, and the foundations of mathematics. A central focus of his work was the search for new axioms of mathematics. The study of new axioms in mathematics ...