A cyclic proof system for Guarded Kleene Algebra with Tests (full version).

Jan Rooduijn Dexter Kozen Alexandra Silva

Published in: CoRR (2024)

Keyphrases

propositional logic
algebraic expressions
modal logic
data sets
neural network
artificial intelligence
case study
data model
sufficient conditions
expressive power
query answering
test suite