Pages that link to "Item:Q3532458"

The following pages link to Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458):

Displaying 6 items.

• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
• The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
• Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
• Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)