Abstract logics | lit.salon