{"id":21148,"date":"2003-11-01T00:00:00","date_gmt":"2003-11-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/semantica-funcional-para-logicas-temporales-x-modales-definibilidad-y-teoremas-de-completitud\/"},"modified":"2003-11-01T00:00:00","modified_gmt":"2003-11-01T00:00:00","slug":"semantica-funcional-para-logicas-temporales-x-modales-definibilidad-y-teoremas-de-completitud","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/malaga\/semantica-funcional-para-logicas-temporales-x-modales-definibilidad-y-teoremas-de-completitud\/","title":{"rendered":"Sem\u00e1ntica funcional para l\u00f3gicas temporales x modales. definibilidad y teoremas de completitud"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Mu\u00f1oz Velasco Emilio Jos\u00e9 <\/strong><\/h2>\n<p>Este trabajo est\u00e1 enmarcado en un \u00e1rea de conocimiento te\u00f3rico, concretamente en el campo de la l\u00f3gica formal como parte de los fundamentos matem\u00e1ticos de la computaci\u00f3n. Sin embargo, su motivaci\u00f3n ha partido de un \u00e1rea de conocimiento aplicado como la b\u00fasqueda de l\u00f3gicas adecuadas para la especificaci\u00f3n y control de procesos y sistemas multiagentes. Las l\u00f3gicas introducidas permiten la especificaci\u00f3n y control de procesos paralelos y el comportamiento de distintos agentes conectados en red. La investigaci\u00f3n llevada a cabo por nuestro grupo de investigaci\u00f3n gimac (grupo de investigaci\u00f3n en herramientas matem\u00e1ticas para la computaci\u00f3n) hasta la fecha de inicio de este trabajo, cuyo objetivo puede ser descrito como:  \u00abel dise\u00f1o de una nueva metodolog\u00eda de demostraci\u00f3n autom\u00e1tica de teoremas que contribuya al uso real de software deductivo y, en definitiva, al uso de la l\u00f3gica en computaci\u00f3n\u00bb y, concretamente, los estudiso realizados en el grupo en aspectos tanto te\u00f3ricos como aplicativos de las l\u00f3gicas modales y temporales, y siendo conscientes de que las aplicaciones reclaman la integraci\u00f3n de distintas l\u00f3gicas, planteamos l\u00f3gica adecuada a las aplicaciones anteriormente se\u00f1aladas una l\u00f3gica temporal x modal.  consideramos como aspectos destacado y novedosos en la investigaci\u00f3n:  el estudio de la definibilidad de las propiedades destacadas de clases de funciones tales como: totalidad, sobreyectividad, inyectividad, crecimiento, componibilidad, sin necesidad de hacer uso de la l\u00f3gica de segundo orden. deseamos destacar que nuestro trabajo ha tenido un punto de partida diferente a la de los trabajos existentes en la bibliograf\u00eda en los que encontramos contemplada la combinaci\u00f3n de tiempo y modalidad y en los que se abordan cuestiones filos\u00f3ficas tales como el determinismo, la teor\u00eda de la acci\u00f3n, la causalidad, los condicionales, etc.  ver, por ejemplo, [aqvist(1999)], [belnap and perloff)1990)], [beln<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sem\u00e1ntica funcional para l\u00f3gicas temporales x modales. definibilidad y teoremas de completitud<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sem\u00e1ntica funcional para l\u00f3gicas temporales x modales. definibilidad y teoremas de completitud <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Mu\u00f1oz Velasco Emilio Jos\u00e9 <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 11\/01\/2003<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Inmaculada Perez De Guzman Molina<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Barja p\u00e9rez Jos\u00e9 Mar\u00eda <\/li>\n<li>Jos\u00e9 Mu\u00f1oz p\u00e9rez (vocal)<\/li>\n<li>huberto Marraud gonz\u00e1lez (vocal)<\/li>\n<li>gabriel Aguilera venegas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mu\u00f1oz Velasco Emilio Jos\u00e9 Este trabajo est\u00e1 enmarcado en un \u00e1rea de conocimiento te\u00f3rico, concretamente en el [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[7834],"tags":[3754,54403,63981,24725,24726,63980],"class_list":["post-21148","post","type-post","status-publish","format-standard","hentry","category-malaga","tag-barja-perez-jose-maria","tag-gabriel-aguilera-venegas","tag-huberto-marraud-gonzalez","tag-inmaculada-perez-de-guzman-molina","tag-jose-munoz-perez","tag-munoz-velasco-emilio-jose"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/21148","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=21148"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/21148\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=21148"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=21148"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=21148"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}