Advances in Applied Logics