Pages that link to "Item:Q3897034"
From MaRDI portal
The following pages link to Dynamic algebras which are not Kripke structures (Q3897034):
Displaying 9 items.
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- Dynamic algebras with test (Q1095141) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Dynamic negation, the one and only (Q1288172) (← links)
- An equational axiomatization of dynamic negation and relational composition (Q1371311) (← links)
- Some results in dynamic model theory (Q1881264) (← links)
- (Q3139894) (← links)
- Congruences on Dynamic Algebras (Q5448845) (← links)
- Separable Kripke structures are algebraically universal (Q5950778) (← links)