Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews