Pages that link to "Item:Q2506829"
From MaRDI portal
The following pages link to A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829):
Displaying 10 items.
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Back from the future (Q2901197) (← links)
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- A History of Until (Q3185767) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
