Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.

Marvin Brieger Stefan Mitsch André Platzer

Published in: CoRR (2023)

Keyphrases

dynamic logic
imperative programs
modal logic
reasoning about actions
agent programming
database
multiple input
first order logic
hybrid learning
linear array
machine learning
genetic algorithm
case study
logic programming
modal operators
classical first order logic