Pages that link to "Item:Q5486241"

The following pages link to 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241):

Displaying 10 items.

• Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
• Polyadic dynamic logics for HPSG parsing (Q1016030) (← links)
• Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
• A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
• Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
• Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
• (Q5009419) (← links)
• (Q5015273) (← links)
• (Q5091278) (← links)