most of the modules about logic in Python, as "sympy", do not support second order logic. I need a module for saving my results as a syntax tree in second order logic. The syntax must allow quantification over predicates. I need no transformations or caluculus for these expressions, just a program to save and display second order logic expressions. I asked ChatGPT and other LLMs, if they know such a module, but LLMs only know the standard modules and not all projects. Continue reading...
