Pages that link to "Item:Q1207436"

The following pages link to Parallel action: Concurrent dynamic logic with independent modalities (Q1207436):

Displayed 3 items.

• Modelling simultaneous games in dynamic logic (Q1024134) ‎ (← links)
• Tableaux for constructive concurrent dynamic logic (Q2488268) ‎ (← links)
• 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) ‎ (← links)