Modal logic of time division

MaRDI QIDQ3085178zbMATH OpenFDO

Authors Tero Tulenheimo

Publication date 30 March 2011

zbMATH Keywords

decidabilityexpressive powerinterval tense logiclinear ordernegationorder typevon Wrightweak monadic second-order logic

Mathematics Subject Classification ID

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

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

(5)

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

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)