Implement formula generators for other logics
Currently, we only implement generators for a subset of our supported logics. It should be straightforward to implement the other logics.
Currently, we only implement generators for a subset of our supported logics. It should be straightforward to implement the other logics.