Pages that link to "Item:Q3393380"

The following pages link to Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380):

Displayed 3 items.

• Synchronized linear-time temporal logic (Q647400) ‎ (← links)
• Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) ‎ (← links)
• Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) ‎ (← links)