The following pages link to (Q4273477):
Displayed 21 items.
- On the dynamic logic of agency and action (Q456961) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Peirce algebras (Q1333408) (← links)
- On dynamic algebras (Q1341742) (← links)
- Towards automating duality (Q1343394) (← links)
- Notes on equational theories of relations (Q1344844) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Inductive semimodules and the vector modules over them. (Q2391239) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Distributed Relation Logic (Q4683211) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)