Login / Signup

Reasoning About Trust: A Formal Logical Framework.

Robert Demolombe
Published in: iTrust (2004)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • higher order logic
  • trust model
  • possibilistic logic
  • epistemic logic
  • linear logic
  • high level
  • first order logic
  • formal methods