A dynamic logic with branching modalities.

Yuanrui Zhang Zhiming Liu

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

Keyphrases

dynamic logic
reasoning about actions
modal logic
agent programming
search tree
propositional dynamic logic
imperative programs
first order logic
branch and bound
multiple input
cross modal
search algorithm
expert systems
case based reasoning
logic programs