Logical Formalizations of Commonsense Reasoning | lit.salon