Naming and identity in epistemic logic. II: A first-order logic for naming
scientific article; zbMATH DE number 1863773