An epistemic logic of blameworthiness.

Pavel Naumov Jia Tao

Published in: Artif. Intell. (2020)

Keyphrases

epistemic logic
modal logic
model checking
logical framework
multi agent systems
multi faceted
dynamic epistemic logic
inference rules
computation tree logic
formal semantics
mathematical theory
temporal logic
belief revision
cooperative