Pages that link to "Item:Q1421487"
From MaRDI portal
The following pages link to Completeness of temporal logics over infinite intervals. (Q1421487):
Displaying 14 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- Completeness of the accumulation calculus (Q1383468) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- A complete axiom system for propositional interval temporal logic with infinite time (Q2904627) (← links)
- (Q3124391) (← links)
- (Q3173797) (← links)
- A note on unbounded metric temporal logic over dense time domains (Q3419667) (← links)
- Symbolic Model Checking for Alternating Projection Temporal Logic (Q3467865) (← links)
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (Q3540187) (← links)
- Complexity of propositional projection temporal logic with star (Q3616217) (← links)
- An infinitary variant of Metric Temporal Logic over dense time domains (Q4736752) (← links)
- Note on a Lemma of Ladkin (Q4870064) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)