An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.

Hans van Ditmarsch Louwe B. Kuijer Mo Liu

Published in: LORI (2023)

Keyphrases

dynamic logic
normative systems
multi agent systems
description logics
logical framework
modal logic
reasoning about actions
query answering
imperative programs
agent programming
propositional dynamic logic
reasoning tasks
mental attitudes
modal operators
type checking
temporal logic
cooperative
first order logic