Logics for Artificial Intelligence | lit.salon