Fórmulas barcan de segundo orden y universales trascendentes

Se ha destacado recientemente que la Fórmula de Barcan (FB) y la Conversa de la Fórmula de Barcan (CFB) para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de (FB) y (CFB) de orden superior parece im...