Semantics and Axiomatization for Stochastic Differential Dynamic Logic.
Michael RobertsAlexei KopylovAleksey NoginPublished in: CoRR (2021)
Keyphrases
- dynamic logic
- propositional dynamic logic
- reasoning about actions
- modal logic
- situation calculus
- classical first order logic
- agent programming
- imperative programs
- logic programming
- stochastic model
- first order logic
- artificial intelligence
- formal semantics
- multiple input
- complete axiomatization
- monte carlo
- general purpose