Common Logic

  1. A framework for logics standardized in ISO/IEC 24707.