Dynamic Logic of Communicating Hybrid Programs.

Marvin Brieger Stefan Mitsch André Platzer

Published in: CoRR (2023)

Keyphrases

database systems
dynamic logic
imperative programs
modal logic
reasoning about actions
agent programming
database
propositional dynamic logic
first order logic
information systems
hybrid learning
classical first order logic
learning algorithm
modal operators
hybrid approaches