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