Title: Advances in Applied Logics