66 citations · 295 across the 23 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2019★ 1 cited
Temporal Landscapes: A Graphical Logic of Behavior
Brendan Fong, Alberto Speranzon, David I. Spivak
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is sim…
math.LO2018★ 1 cited
Behavioral Mereology (Proofs and Properties)
Brendan Fong, David Jaz Myers, David I. Spivak
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by th…