Definitions for "Logics"
See Logic.