(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic.
Vlad RusuDavid NowakPublished in: FROM (2019)
Keyphrases
- natural deduction
- theorem proving
- proof search
- theorem prover
- modal logic
- cut elimination
- computer systems
- complex systems
- learning systems
- decision procedures
- mathematical proofs
- database
- digital circuits
- multi valued
- first order logic
- building blocks
- logic programming
- knowledge based systems
- management system
- reinforcement learning