The inadequacy of Hughes and Cresswell's semantics for the CI systems

Zane Parks, Terry L. Smith. The inadequacy of Hughes and Cresswell's semantics for the CI systems. Notre Dame Journal of Formal Logic, 15(2):331-332, 1974. [doi]

Abstract

Abstract is missing.