Skip to content

The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable.

Robin Hirsch, Brett McLean

VenueBAiML
Year2018
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.