Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.

Ryo Hatano Katsuhiko Sano

Published in: Stud Logica (2021)

Keyphrases

dynamic logic
modal logic
imperative programs
reasoning about actions
classical first order logic
propositional dynamic logic
agent programming
machine learning
mobile robot
software engineering