En general, se suelen utilizar formalismos lógicos o matemáticos, tales como expresiones lógicas de primer orden.