The following pages link to (Q4427243):
Displaying 5 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- How to decide what to do? (Q1885765) (← links)
- Trust evidence logic (Q2146059) (← links)
- Trust in the λ-calculus (Q4234769) (← links)
- From belief to trust: A quantitative framework based on modal logic (Q5103717) (← links)