Pages that link to "Item:Q3643256"
From MaRDI portal
The following pages link to PDL with intersection of programs: a complete axiomatization (Q3643256):
Displaying 9 items.
- On a graph approach to modal logics (Q281163) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Modal logics for reasoning about infinite unions and intersections of binary relations (Q4583172) (← links)
- (Q5015273) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)