Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.
Igor SedlárJohann J. WannenburgPublished in: WoLLIC (2022)
Keyphrases
- boolean algebra
- set theory
- algebraic structure
- classical logic
- modal logic
- relation algebra
- data model
- propositional logic
- vector space
- asynchronous circuits
- predicate logic
- epistemic logic
- robust image watermarking
- algebraic expressions
- valued logic
- proof theory
- regular expressions
- logic programming
- databases
- cardinality constraints
- logical framework
- multi valued
- relational algebra
- normal form
- formal logic
- query language
- data sets