Modal logic of time division

11 years 1 months ago
Modal logic of time division
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arbitrary linear frames. is interpreted as meaning `the current interval has a finite partition whose all members satisfy .' LTD is translatable into weak monadic secondorder logic but not into first-order logic. The expressive power and the decidability properties of LTD and its fragments are studied.
Tero Tulenheimo
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where AIML
Authors Tero Tulenheimo
Comments (0)