Contains classes for different logics.