K
A
D
Domain_Semiring
Antidomain_Semiring
Range_Semiring
Modal_Kleene_Algebra
Modal_Kleene_Algebra_Models
Modal_Kleene_Algebra_Applications