3 citations · 7 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…
math.AG2014
General Linear and Symplectic Nilpotent Orbit Varieties
Samuel Reid
The condition of nilpotency is studied in the general linear Lie algebra and the symplectic Lie algebra over an alg…