Lógica modal, teorema de Löb i teorema de incompletitud de Gödel

A partir de una interesante conversación en el trabajo con el Dr. Petar Mimica, me he visto en la necesidad de repasar algunos conceptos interesantes de las asignaturas que cursé en el área de informática teórica. El primero de ellos és el de la lógica modal. Las lógicas tradicionales son la proposicional, o de orden …