Свойства ветвящегося пространства-времени в трактовке Н.Белнапа отражены в объектах топоса контравариантных функторов из категории C – причинного множества событий, моделирующего пространство-время в категорию множеств. Совокупность этих функторов, называющихся также предпучками, несёт структуру алгебры Гейтинга, являющейся моделью языка высказываний, обладающего интуиционистской логикой и естественным образом возникающего при рассмотрении аспектов «ветвистости» пространства-времени. Локальная в пространстве-времени истинность высказываний этого языка может (как это характерно для логики топосов) принимать промежуточные значения.