Login / Signup
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