The following pages link to (Q3343429):
Displaying 8 items.
- Dynamic algebras with test (Q1095141) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- The structure of separable Dynkin algebras (Q1709480) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- On the algebra of disjoint alternatives (Q1915884) (← links)
- Dynamic algebras which are not Kripke structures (Q3897034) (← links)
- Congruences on Dynamic Algebras (Q5448845) (← links)
- Separable Kripke structures are algebraically universal (Q5950778) (← links)