The following pages link to (Q3897035):
Displayed 11 items.
- Results on the propositional \(\mu\)-calculus (Q801893) (← links)
- Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (Q1167197) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Peirce algebras (Q1333408) (← links)
- On dynamic algebras (Q1341742) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Subdirectly irreducible separable dynamic algebras (Q3583808) (← links)
- Semantics of looping programs in Propositional Dynamic Logic (Q3960666) (← links)