Pages that link to "Item:Q3590963"
From MaRDI portal
The following pages link to An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic (Q3590963):
Displaying 12 items.
- 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)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \textsc{ExpSpace-complete} (Q6563047) (← links)
