Pages that link to "Item:Q3647227"
From MaRDI portal
The following pages link to PDL with negation of atomic programs (Q3647227):
Displaying 5 items.
- 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)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
