Philip Sink

Philip Sink

he/him

PhD Student in Logic, Computation, and Methodology in the Philosophy Department at Carnegie Mellon University.
My main area of study is Modal Logic, with a focus on Simplicial Semantics and applications to Distributed Computing.

Modal Logic Without Possible Worlds: A New Semantics for Modal Logic in Simplicial Complexes

Published in NASA Technical Reports Server, 2022

This paper represents my earliest work in simplicial semantics, completed for the Internship in Topology and Modal Logic with NASA LaRC. Ultimately, this work became the bedrock of my master's thesis, and later my doctoral thesis. Unfortunately, the given manuscript has one major error in its presentation: my solution for assigning truth values to atoms at a facet can falsify some formulas assigned to that facet. Later work solves this error. A link to the paper as seen in the technical reports server may be found here.

Recommended citation: Philip Sink (2022). "Modal Logic Without Possible Worlds: A New Semantics for Modal Logic in Simplicial Complexes" NASA Technical Reports Server
Download Paper