activity
20192024
most citedDouble Fibrations

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2024 · math.CTShow all

1 paper · 2 filters

math.CT2024

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

Michael J. Lambert

The Alexandrov topology affords a well-known semantics of modal necessity and possibility. This paper develops an Alexandrov topological semantics of intuitionistic propositional m…