Modal logic of time division

zbMATH Open1244.03076MaRDI QIDQ3085178FDOQ3085178

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)

Cited In (2)

• Timing in music and modal temporal logic
• A propositional modal logic of time intervals

   Recommendations

• A propositional modal logic of time intervals 👍 👎
• Temporal patterns and modal structure 👍 👎
• On interval modal logic with ``after relation 👍 👎
• Title not available (Why is that?) 👍 👎
• The temporal logic of branching 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)