activity
20122025
most citedOn Contact Numbers of Finite Lattice Sphere Packings and the Maximal Coordination of Monatomic Crystals

3 citations · 7 across the 13 of their papers we have counts for

collaborators
Showing 2014 · math.LOShow all

1 paper · 2 filters

math.LO2014

A Sequent Calculus for Dynamic Topological Logic

Samuel Reid

We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic , prove soundness sem…