Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories.

arXiv:2402.03164v3 Announce Type: replace Abstract: Representing time is crucial for cyber-physical systems and has been studied extensively in the situation calculus. The most commonly used approach represents time by adding a real-valued function $\mathit{ti