Compositional Proofs in Differential Dynamic Logic dL.
Simon LunelBenoît BoyerJean-Pierre TalpinPublished in: ACSD (2017)
Keyphrases
- dynamic logic
- description logics
- modal logic
- reasoning about actions
- first order logic
- expressive power
- theorem proving
- decision procedures
- imperative programs
- theorem prover
- propositional dynamic logic
- classical first order logic
- sequent calculus
- agent programming
- multiple input
- natural deduction
- modal operators
- equational theories
- automated theorem provers
- dl lite
- temporal logic