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 5 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)
• Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
• (Q4966050) (← links)