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…