The following pages link to (Q3838807):
Displaying 7 items.
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Interconnections between classes of sequentially compositional temporal formulas (Q2450935) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection (Q4461930) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)