The following pages link to (Q3812208):
Displaying 8 items.
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- A generalized nexttime operator in temporal logic (Q800722) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- Temporal and dynamic logic (Q2851821) (← links)
- Representation and compilation of knowledge in point-based temporal system (Q3361923) (← links)
- Temporal patterns and modal structure (Q4238498) (← links)
- (Q4692453) (← links)
- (Q4733376) (← links)