Lambert, Michael J.
- A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
2024/10/16 by Michael J. Lambert, Lambert, Michael J. · 1 citation
Computer Science · #03B45 #18B25 #18C50 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies