Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.
Igor SedlárJohann J. WannenburgPublished in: CoRR (2022)
Keyphrases
- boolean algebra
- set theory
- relation algebra
- algebraic structure
- classical logic
- propositional logic
- modal logic
- relational algebra
- data model
- asynchronous circuits
- proof theory
- query language
- vector space
- graph embedding
- situation calculus
- probability theory
- neural network
- multiple choice
- defeasible logic
- pattern matching
- epistemic logic
- test cases