A separation theorem for discrete-time interval temporal logic
Sign Up to like & getrecommendations! Published in 2022 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2022.2050135
Abstract: Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement about Moszkowski's discrete-time propositional… read more here.
Keywords: discrete time; separation theorem; interval temporal; separation ... See more keywords
Foremost Walks and Paths in Interval Temporal Graphs
Sign Up to like & getrecommendations! Published in 2022 at "Algorithms"
DOI: 10.3390/a15100361
Abstract: The min-wait foremost, min-hop foremost and min-cost foremost paths and walks problems in interval temporal graphs are considered. We prove that finding min-wait foremost and min-cost foremost walks and paths in interval temporal graphs is… read more here.
Keywords: min wait; foremost walks; temporal graphs; interval temporal ... See more keywords