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 17 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)
- Tableau methods for modal and temporal logics (Q2753601) (← links)
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593) (← 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-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (Q3192199) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- (Q3838807) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
