Rosa, L. Unconditional Types of Inference and Logical Knowledge. Veritas 2016, 61, 350-362.