Modal logic of time division

MaRDI QIDQ3085178zbMATHFDO

Authors Tero Tulenheimo

Publication date 30 March 2011

zbMATH Keywords

decidabilitynegationlinear orderexpressive powerorder typeweak monadic second-order logicvon Wrightinterval tense logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Recommendations

• A propositional modal logic of time intervals
• Temporal patterns and modal structure
• On interval modal logic with ``after relation
• scientific article; zbMATH DE number 3889506
• The temporal logic of branching time

Cited in

(4)

• A note on the logic of eventual permanence for linear time
• On interval modal logic with ``after relation
• A propositional modal logic of time intervals
• Timing in music and modal temporal logic

This page was built for publication: Modal logic of time division

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085178)