A Proof System for HRML with Extended Hoare Logic.
Ningning ChenHuibiao ZhuHuixing FangPublished in: TASE (2021)
Keyphrases
- modal logic
- intuitionistic logic
- linear time temporal logic
- cut elimination
- classical logic
- predicate logic
- real time
- learning algorithm
- linear logic
- monadic second order logic
- proof theoretic
- proof search
- sequent calculus
- proof theory
- digital circuits
- computational properties
- probabilistic logic
- multi valued
- inference rules
- neural network