A Normal Modal Logic for Trust in the Sincerity.

Christopher Leturc Grégory Bonnet

Published in: AAMAS (2018)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
trust model
trust evaluation
epistemic logic
classical logic
conditional logic
default logic
prime implicates
model checking
nonmonotonic logics
modal operators
explanation based generalization
autoepistemic logic