The Varieties of Ought-Implies-Can and Deontic STIT Logic.

Kees van Berkel Tim Lyon

Published in: DEON (2021)

Keyphrases

logical framework
deontic logic
classical logic
multi agent systems
coalition logic
inference rules
belief revision
reasoning tasks
modal logic
logic programming
model checking
machine learning
default logic
automated reasoning
np complete
legal reasoning
multi agent
artificial intelligence