1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…