{"id":156620,"date":"2026-01-12T17:31:09","date_gmt":"2026-01-12T17:31:09","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/arboles-semanticos-para-logica-modal-con-algunos-resultados-sobre-sistemas-normales\/"},"modified":"2026-01-12T17:31:09","modified_gmt":"2026-01-12T17:31:09","slug":"arboles-semanticos-para-logica-modal-con-algunos-resultados-sobre-sistemas-normales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/logica\/arboles-semanticos-para-logica-modal-con-algunos-resultados-sobre-sistemas-normales\/","title":{"rendered":"\u00abarboles semanticos para logica modal con algunos resultados sobre sistemas normales\u00bb"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Salguero Lamillar Francisco Jose <\/strong><\/h2>\n<p>En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales, tanto desde el punto de vista de la teoria de modelos como desde el de la filosofia del lenguaje y el analisis de los lenguajes naturales. Sobre la base de estos estudios, se plantean algunos problemas propios de los lenguajes intensionales en la teoria semantica mas reciente y se propone una semantica logica para los sistemas normales de logica modal asi como un procedimiento semantico de decision para algunos de estos sistemas. Tal procedimiento, basado en los arboles semanticos de smullyan, provee al logico de una herramienta util para desarrollar resultados metateoricos en el ambito de la logica modal clasica, asi como para extender estos resultados a otro tipo de logicas intensionales.  finalmente, se describe un calculo logico para logica modal en sentido lato que, al estar emparentado con el procedimiento de arboles semanticos, se encuentra en forma normal de suyo, por lo que es facilmente implementable.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>\u00abarboles semanticos para logica modal con algunos resultados sobre sistemas normales\u00bb<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 \u00abarboles semanticos para logica modal con algunos resultados sobre sistemas normales\u00bb <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Salguero Lamillar Francisco Jose <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Sevilla<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1991<\/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>Emilio Diaz Estevez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jorge Perez Ballestar <\/li>\n<li>Luis Villegas Forero (vocal)<\/li>\n<li>Inmaculada Perez De Guzman Molina (vocal)<\/li>\n<li>Alfredo Burrieza Mu\u00f1iz (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Salguero Lamillar Francisco Jose En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales, [&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":[3747,3748,24723,10715,30772],"tags":[63387,93493,24725,115070,19120,55286],"class_list":["post-156620","post","type-post","status-publish","format-standard","hentry","category-logica","category-logica-deductiva","category-logica-modal","category-sevilla","category-teoria-de-lenguajes-formales","tag-alfredo-burrieza-muniz","tag-emilio-diaz-estevez","tag-inmaculada-perez-de-guzman-molina","tag-jorge-perez-ballestar","tag-luis-villegas-forero","tag-salguero-lamillar-francisco-jose"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/156620","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=156620"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/156620\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=156620"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=156620"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=156620"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}