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.

Authors

John C. Mitchell

This author has not been identified. Look up 'John C. Mitchell' in Google

Michael J. O Donnell

This author has not been identified. Look up 'Michael J. O Donnell' in Google