Pages that link to "Item:Q2999204"

The following pages link to Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability (Q2999204):

Displaying 9 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
• Bounded variability of metric temporal logic (Q2408743) (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
• Separation logics and modalities: a survey (Q4586138) (← links)
• Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
• Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)