3 papers
math.LO2026
Halo Semantics for Modal Logic
Yoà v Montacute
In nonstandard analysis the halo of a point in a topological space is the intersection of the nonstandard extensions of all its open neighbourhoods. We define a parametric family o…
cs.LO2026
Modulation-Reaction Networks
Leo Lobski, Yoà v Montacute
Biochemical systems involve both the flow of matter, in which entities transform into one another via reactions, and the flow of information, in which entities regulate which react…
cs.DS2026
A Coalgebraic Dijkstra Algorithm
Takahiro Sanada, Yoà v Montacute, Kittiphon Phalakarn +1
The Dijkstra algorithm is a classical method for solving the shortest path problem on weighted graphs. There are several variations of the Dijkstra algorithm, including algorithms…