BAN logic inspired many other similar formalisms, such as GNY logic.
وقد أثر منطق بان على العديد من الشكليات المشابهة، مثل منطق جني GNY logic.