Pages that link to "Item:Q3647227"
From MaRDI portal
The following pages link to PDL with negation of atomic programs (Q3647227):
Displaying 7 items.
- A Reduction from DLP to PDL (Q3374102) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- Cheap Boolean Role Constructors for Description Logics (Q3532479) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- (Q5091278) (← links)
- Automated Reasoning (Q5307064) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)