Yeah I wish there was a better logic chart than [1], or at least one that I can give it something in MSOL and it can internally compile it to a representation i

Yeah I wish there was a better logic chart than [1], or at least one that I can give it something in MSOL and it can internally compile it to a representation in one of those logics. [1] http://smtlib.cs.uiowa.edu/logics.shtml http://smtlib.cs.uiowa.edu/logics.shtml