3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
Utility-based Decision-making in Distributed Systems Modelling
Gabrielle Anderson, Matthew Collinson, David Pym
We consider a calculus of resources and processes as a basis for modelling decision-making in multi-agent systems. The calculus represents the regulation of agents' choices using u…