 We present some examples of logic systems that we will refer to in the course of this essay, that are assembled here for the reader’s convenience. Whenever possible we refer to the corresponding entries.