“…Mathematically, CC is related to formal logic, which turned out to be used by most mathematical procedures, even by those specifically designed to overcome logic limitations, such as neural networks and fuzzy logic [25,29-31,64]. The mathematics capable of overcoming CC, dynamic logic (DL), which models the process of satisfaction of KI, while overcoming CC has been developed in [13,23-25,32-34]. In several cases it was mathematically proved that DL achieves the best possible performance [35-38].…”