Multi-modal systems of restricted depth

dc.citation.epage202
dc.citation.issue8
dc.citation.journalAbbreviatedTitleing.cienc.eng
dc.citation.journalTitleIngeniería y Cienciaeng
dc.citation.spage175
dc.citation.volume4
dc.contributor.affiliationUniversidad EAFITspa
dc.contributor.authorSierra A., Manuelspa
dc.coverage.spatialMedellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degreeseng
dc.date2008-12-01
dc.date.accessioned2019-11-22T19:10:47Z
dc.date.available2019-11-22T19:10:47Z
dc.date.issued2008-12-01
dc.descriptionThey are presented as extensions of the classical propositional calculus, the hierarchy of deductive systems SMM – n with n> 1. SMM – n is the multi – modal system of depth – n. The SMM – 1 system is the classic propositional calculation. The SMM– (n + 1) system can be seen as the result of applying the rule of need, associated with reasoners with sufficient reasoning ability, once to the SMM – n system theorems. The SMM system results from the meeting of the hierarchy systems, and can be seen as the multi-modal Km system of logic with restrictions. SMM-n systems are characterized with a Kripke-style semantics, in which the length of the possible world chains is restricted.eng
dc.descriptionSe presentan como extensiones del cálculo proposicional clásico, la jerarquíade sistemas deductivos SMM–n con n > 1. SMM–n es el sistema multi–modalde profundidad–n. El sistema SMM–1 es el cálculo proposicional clásico. Elsistema SMM–(n + 1) puede ser visto como el resultado de aplicar la regla denecesariedad, asociada a los razonadores con suficiente capacidad de razona-miento, una vez a los teoremas del sistema SMM–n. El sistema SMM resultade la reunión de los sistemas de la jerarquía, y puede ser visto como el sis-tema de lógica multi–modal Km con restricciones. Los sistemas SMM–n soncaracterizados con una semántica al estilo Kripke, en la cual, la longitud delas cadenas de mundos posibles se encuentra restringida.spa
dc.formatapplication/pdf
dc.identifier.issn2256-4314
dc.identifier.issn1794-9165
dc.identifier.urihttp://hdl.handle.net/10784/14524
dc.language.isospaspa
dc.publisherUniversidad EAFITspa
dc.relation.isversionofhttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222
dc.relation.urihttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222
dc.rightsCopyright (c) 2008 Manuel Sierra A.eng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesseng
dc.rights.localAcceso abiertospa
dc.sourceinstname:Universidad EAFIT
dc.sourcereponame:Repositorio Institucional Universidad EAFIT
dc.sourceIngeniería y Ciencia; Vol 4, No 8 (2008)spa
dc.subject.keywordMulti-Modal Logiceng
dc.subject.keywordReasoners With Restrictionseng
dc.subject.keywordLanguage With Restrictionseng
dc.subject.keywordLógica Multi–Modalspa
dc.subject.keywordRazonadores Con Restriccionesspa
dc.subject.keywordLenguaje Con Restriccionesspa
dc.titleMulti-modal systems of restricted deptheng
dc.titleSistemas multi–modales de profundidad restringidaspa
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typepublishedVersioneng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.type.localArtículospa

Archivos

Bloque original
Mostrando 1 - 2 de 2
No hay miniatura disponible
Nombre:
8.pdf
Tamaño:
257.8 KB
Formato:
Adobe Portable Document Format
Descripción:
Texto completo PDF
No hay miniatura disponible
Nombre:
articulo.html
Tamaño:
373 B
Formato:
Hypertext Markup Language
Descripción:
Texto completo HTML