Resource separation in dynamic logic of propositional assignments.

Joseph Boudou Andreas Herzig Nicolas Troquard

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

dynamic logic
classical first order logic
first order logic
modal logic
reasoning about actions
propositional logic
propositional dynamic logic
imperative programs
resource allocation
agent programming
multiple input
general purpose
resource management
inference rules
resource constraints