Pages that link to "Item:Q5434528"

The following pages link to Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms (Q5434528):

Displaying 2 items.

• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
• Linear temporal logic with until and next, logical consecutions (Q947268) (← links)