Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorSierra, Manuel
dc.date.accessioned2019-07-03T16:35:47Z
dc.date.available2019-07-03T16:35:47Z
dc.date.issued2007
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/73617
dc.description.abstractSe presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SCR-n con n and gt;=1. SCR-n es el sistema de creencias para los razonadores de tipo n. El sistema SCR-w resulta de la reunión de los sistemas de la jerarquía, y coincide con el sistema de lógica modal K, por lo que la jerarquía SCR-n resulta ubicada entre elcálculo proposicional cláasico y el sistema modal K. Los sistemas son caracterizados con una semántica al estilo Kripke, en la cual, la longitud de las cadenas de mundos posibles se encuentra restringida en función deltipo de razonador. As, la profundidad de un modelo corresponde a la longitud máxima de las cadenas de mundos posibles que guren en el modelo, resultando que los modelos de profundidad n caracterizan el sistema deductivo SCR-(n+1). Las pruebas de validez y completitud, de lossistemas de la jerarquía, son presentadas de forma detallada, así como la extensión de estas pruebas al sistema modal K.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40464
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.relation.ispartofseriesBoletín de Matemáticas; Vol. 14, núm. 2 (2007); 110-128 Boletín de Matemáticas; Vol. 14, núm. 2 (2007); 110-128 2357-6529 0120-0380
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleCaracterización semántica de la jerarquía scr-n (1
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/38093/
dc.relation.referencesSierra, Manuel (2007) Caracterización semántica de la jerarquía scr-n (1. Boletín de Matemáticas; Vol. 14, núm. 2 (2007); 110-128 Boletín de Matemáticas; Vol. 14, núm. 2 (2007); 110-128 2357-6529 0120-0380 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalCálculo proposicional clásico
dc.subject.proposalsistemas deductivos SCR-n
dc.subject.proposalsistemas de lógica modal K
dc.subject.proposalsemántica al estilo Kripke.
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ARTREF
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit