Conceptos temporales para el estudio del comportamiento de programas.
Tesis doctoral de Farinas Del Cerro Luis Datos académicos de la tesis doctoral «Conceptos temporales para el estudio del […]
Tesis doctorales de Logica modal
Estudi algebraic de certes logiques intuicionistes modals.
Tesis doctoral de Josep María Font Llovet Se estudian tres sistemas de logica modal intuicionista y sus modelos algebraicos con
Invariant-free deduction systems for temporal logic
Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our
Razonamiento espacial con relaciones cardinales basado en problemas de satisfacción de restricciones y lógicas modales
Tesis doctoral de Antonio Morales Nicolas El razonamiento espacial cualitativo juega un papel muy importante en inteligencia artificial y las
Tecnicas para el analisis automatico de software descrito en lenguajes de programacion
Tesis doctoral de David Sanan Baena La verificación de modelos o model checking es un método formal que explora de
Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica
Entre la logica y el derecho:paradojas y conflictos normativos
Tesis doctoral de Jose Ausin Diez Este es un trabajo de lógica deóntica jurídica, es decir, un análisis de las
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Essential properties, existence and knowability.
Tesis doctoral de Sonia Roca Royes En este trabajo se discuten diferentes problemas en relación a la metafísica y a
Strict-weak languages. an analysis of strict implicatión
Tesis doctoral de Félix Bou Moliner Esta tesis docotral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos
