New Zealand logician who has contributed to modal logic, categorical logic, and nonstandard analysis.
Logics of Time and Computation: a systematic treatment of modal logics for reasoning about time and computation. Topoi: a primer on topos theory and its connections to logic. Lectures on the Hyperreals: an accessible introduction to nonstandard analysis.
No recorded contemporaries.
No recorded minds influenced.
Discussing
Ask anything about Robert Goldblatt — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.