3 citations · 7 across the 13 of their papers we have counts for
Showing math.LOShow all
3 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.LO2013
On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem
Samuel Reid
Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number syst…
math.LO2013
On Generalizing a Temporal Formalism for Game Theory to the Asymptotic Combinatorics of S5 Modal Frames
Samuel Reid
A temporal-theoretic formalism for understanding game theory is described where a strict ordering relation on a set of time points defines a game on . Using this formalism,…