A Usage-Aware Sequent Calculus for Differential Dynamic Logic.
Myra DotzelStefan MitschAndré PlatzerPublished in: CoRR (2023)
Keyphrases
- dynamic logic
- sequent calculus
- modal logic
- cut elimination
- inference rules
- temporal logic
- imperative programs
- classical logic
- linear logic
- reasoning about actions
- modal operators
- nonmonotonic logics
- situation calculus
- first order logic
- propositional dynamic logic
- machine learning
- linear time temporal logic
- default logic
- agent programming
- high level