axiomatisation 1complete lattices 1continuous algebras 1hypotheses 1kleene algebra 1regular tree languages 1
From the 1 of 6 linked papers with an AI index.
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Continuous Algebras with Hypotheses
Lukas Mulder, Damien Pous, Jana Wagemaker
The paper introduces a unified framework for many Kleene algebra variants by using continuous algebras ordered by complete lattices, gives a canonical model of closed languages, an…
cs.LO2026
GKAT with Hoare Hypotheses
Jurriaan Rot, Todd Schmid, Jana Wagemaker
Guarded Kleene Algebra with Tests (GKAT) is a variant of Kleene algebra which allows for reasoning about simple imperative programs, and which features a decision procedure for pro…
cs.LO2024
On Tools for Completeness of Kleene Algebra with Hypotheses
Damien Pous, Jurriaan Rot, Jana Wagemaker
In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and th…