3 papers
math.LO2026
Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
Matthew Collinson, Timo Eckhardt, David Pym
Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logic…
math.CT2026
Topological Dualities for Modal Algebras
Matthew Collinson
We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of…
math.CT2026
Topologically valued transition structures
Matthew Collinson
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contrav…