Pages that link to "Item:Q3897033"
From MaRDI portal
The following pages link to Decision complexity of variants of propositional dynamic logic (Q3897033):
Displaying 15 items.
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- Dynamic process logic (Q1092892) (← links)
- On the computational complexity of satisfiability in propositional logics of programs (Q1170028) (← links)
- \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs (Q1311976) (← links)
- Deterministic propositional dynamic logic: finite models, complexity, and completeness (Q1839245) (← links)
- Program schemata technique for propositional program logics: a 30-year history (Q2216719) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- A Reduction from DLP to PDL (Q3374102) (← links)
- (Q3393869) (← links)
- A derivation-loop method for temporal logic (Q5040806) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)
- Complexity and expressivity of propositional dynamic logics with finitely many variables (Q5095651) (← links)
- Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (Q5271051) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)