Showing math.LOShow all
2 papers · 1 filter
math.LO2026
A Modal Expansion of Kleene Algebras via Twist Structures
Sergio Celani, Paula Menchón, Valeria Miguelez
Kleene triples, introduced by Jalali, provide a representation of arbitrary Kleene algebras in terms of twist-products. We introduce modal Kleene algebras and modal Kleene triples,…
math.LO2025
A mixed logic with binary operators
Ivo Düntsch, RafaÅ GruszczyÅski, Paula Menchón
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators…