Identità e transidentità in logica predicativa epistemica