Pages that link to "Item:Q2265816"

The following pages link to Decision procedures and expressiveness in the temporal logic of branching time (Q2265816):

Displaying 2 items.

• Backdoors for linear temporal logic (Q1725638) (← links)
• Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ⁺ (Q5277905) (← links)