Uridia, Levan2013-10-172013-10-172012http://hdl.handle.net/10115/11862Tesis Doctoral leída en la Universidad Rey Juan Carlos de Madrid en 2012. Director de la Tesis: David PearceLa combinación de la creencia y el conocimiento en un formalismo ha sido una problemática en epistemología. Un formalismo que cumple tal combinación una llamamos doxepi-formalismo. Existen varios doxepi-formalismos basados en lógica modal, donde la combinación razonable de operadores de creencia y conocimiento ocurren. Aunque en todos los existentes, vemos la tendencia a priorizar la lógica modal doxástica bien establecida y construir lógica epistémica de acuerdo con algunos principios que la lógica doxástica sugiere, es decir, el algoritmo es: tomar una lógica doxástica LD conocida y construir la lógica L que tiene un cierto sabor epistémico y mantiene una buena interrelación con LD. En este trabajo tomamos la dirección inversa y damos prioridad a las lógicas modales epistémicas conocidas. Así que nuestra fórmula, que también motiva el título, es: tomar una lógica conocida epistémica LE y encontrar una buena lógica doxástica L que se combina con LE de una manera suficiente. En la tesis cumplimos esta tarea para las lógicas S5 y S4 y estudiamos varios conceptos y doxepi-formalismos sobre la base de estas lógicas.engInformáticainfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccess1203.17 Informática11 Lógica