Abstract: The introduction of Halpern and Shoham's modal logic of intervals (later on called HS) dates back to 1986. Despite its natural semantics, this logic is undecidable over all interesting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback