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.

• Type: Conference
• Year: 2008
• Where: AIML
• Authors: Tero Tulenheimo
• Keywords: Additional Unary Operator, AIML 2008, Basic Modal Logic, Logic Ltd, Logical Reasoning