Abstract

Stephen Read presented harmonious inference rules for identity in classical predicate logic. I demonstrate here how this approach can be generalised to a setting where predicate logic has been extended with epistemic modals. In such a setting, identity has two uses. A rigid one, where the identity of two referents is preserved under epistemic possibility, and a non-rigid one where two identical referents may differ under epistemic modality. I give rules for both uses. Formally, I extend Quantified Epistemic Multilateral Logic with two identity signs. I argue that a uniform meaning for identity tout court can be given by adopting Maria Aloni’s account of reference using conceptual covers. We obtain a harmonious set of rules for identity that is sound and complete for Aloni’s model theory.