Journal of Applied Logics