Naming and Identity in Epistemic Logics Part I: The Propositional Case

• 1 January 1993
• journal article
• Published by Oxford University Press (OUP) in Journal of Logic and Computation
• Vol. 3  (4) , 345-378
• https://doi.org/10.1093/logcom/3.4.345

Abstract