A modal type theory for formalizing trusted communications

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Knowledge and common knowledge in a distributed environment

Joseph Y. Halpern, Yoram Moses · Journal of the ACM · 1990 · 963 citations · Full text

Computing, Communication, Computer Science +17

The Role of Trust in Knowledge

John Hardwig · The Journal of Philosophy · 1991 · 791 citations

Management, Knowledge Management, Social Psychology +10

Notes on formalizing context

John McCarthy · CogPrints (University of Southampton) · 1993 · 766 citations

Computing, Computer Science, Artificial Intelligence +14

THE MEANINGS OF TRUST

D. Harrison McKnight, Norman L. Chervany, Hubert H. Humphrey · 2000 · 563 citations

Management, Organization Studies, Institutional Theory +7