Logics and languages. (2016)