Add to ORKGWe extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy semirings yielding lazy semiring neighbours. Furthermore we show three important applications for these. The first one extends NL to intervals with infinite length. The second one applies lazy semiring neighbours in an algebraic semantics of the branching time temporal logic CTL*. The third one sets up a connection between hybrid systems and lazy semiring neighbours
Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ord...
Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ord...
Interval-based temporal logics are an important research area in computer science and artificial int...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
We present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semirings which ...
AbstractWe present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semiring...
AbstractIn 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
This paper presents a completeness result for a first-order interval temporal logic, called Neighbou...
Logics for time intervals provide a natural framework for dealing with time in various areas of comp...
Logics for time intervals provide a natural framework for dealing with time in various areas of comp...
Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ord...
Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ord...
Interval-based temporal logics are an important research area in computer science and artificial int...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
We present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semirings which ...
AbstractWe present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semiring...
AbstractIn 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
This paper presents a completeness result for a first-order interval temporal logic, called Neighbou...
Logics for time intervals provide a natural framework for dealing with time in various areas of comp...
Logics for time intervals provide a natural framework for dealing with time in various areas of comp...
Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ord...
Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ord...
Interval-based temporal logics are an important research area in computer science and artificial int...