Local Completeness Logic on Kleene Algebra with Tests.
Marco MilaneseFrancesco RanzatoPublished in: CoRR (2022)
Keyphrases
- set theory
- boolean algebra
- algebraic structure
- propositional logic
- classical logic
- data model
- query language
- modal logic
- asynchronous circuits
- automated reasoning
- predicate logic
- defeasible logic
- algebraic expressions
- deontic logic
- multi valued
- relational algebra
- temporal logic
- logical framework
- nonmonotonic logics
- statistical tests
- regular expressions
- relational databases