@dblp

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

, and . Advances in Modal Logic, page 347-366. College Publications, (2018)

Links and resources

Tags