Realisability Semantics for Error-Tolerant Logics

John C. Mitchell, Michael J. O Donnell. Realisability Semantics for Error-Tolerant Logics. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 363-382, Morgan Kaufmann, 1986.