1 “.... Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form...”

2 “..., progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic...”

3 “... and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos...”