The following pages link to (Q4938418):
Displaying 14 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- (Q2757840) (← links)
- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702) (← links)
- (Q4364518) (← links)
- (Q4451651) (← links)
- Representing any-time and program-iteration by infinitary conjunction (Q4583319) (← links)
- (Q4925067) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) (← links)