Lazy Semiring Neighbours and some Applications
P. Höfner, B. Möller
2006-09
in: Universität Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, June 2006
Abstract:
We 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.
Downloads: