A Cyclic Proof System for Guarded Kleene Algebra with Tests.

Jan Rooduijn Dexter Kozen Alexandra Silva

Published in: IJCAR (2) (2024)

Keyphrases

regular expressions
propositional logic
modal logic
data model
relational algebra
database
data sets
knowledge base
object oriented
query answering
relational model
real numbers
probabilistic databases
model checker