Formális logika - További nyelvek