Modal logic of time division

zbMATH Open1244.03076MaRDI QIDQ3085178FDOQ3085178

Authors: Tero Tulenheimo 

Publication date: 30 March 2011

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

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)

Cited In (4)

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

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)