Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.

Marvin Brieger Stefan Mitsch André Platzer

Published in: CADE (2023)

Keyphrases

dynamic logic
imperative programs
modal logic
reasoning about actions
agent programming
multiple input
classical first order logic
propositional dynamic logic
machine learning
hybrid approaches
situation calculus