Multi-modal systems of restricted depth
dc.citation.epage | 202 | |
dc.citation.issue | 8 | |
dc.citation.journalAbbreviatedTitle | ing.cienc. | eng |
dc.citation.journalTitle | Ingeniería y Ciencia | eng |
dc.citation.spage | 175 | |
dc.citation.volume | 4 | |
dc.contributor.affiliation | Universidad EAFIT | spa |
dc.contributor.author | Sierra A., Manuel | spa |
dc.coverage.spatial | Medellí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 degrees | eng |
dc.date | 2008-12-01 | |
dc.date.accessioned | 2019-11-22T19:10:47Z | |
dc.date.available | 2019-11-22T19:10:47Z | |
dc.date.issued | 2008-12-01 | |
dc.description | They 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.description | Se 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.format | application/pdf | |
dc.identifier.issn | 2256-4314 | |
dc.identifier.issn | 1794-9165 | |
dc.identifier.uri | http://hdl.handle.net/10784/14524 | |
dc.language.iso | spa | spa |
dc.publisher | Universidad EAFIT | spa |
dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222 | |
dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222 | |
dc.rights | Copyright (c) 2008 Manuel Sierra A. | eng |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
dc.rights.local | Acceso abierto | spa |
dc.source | instname:Universidad EAFIT | |
dc.source | reponame:Repositorio Institucional Universidad EAFIT | |
dc.source | Ingeniería y Ciencia; Vol 4, No 8 (2008) | spa |
dc.subject.keyword | Multi-Modal Logic | eng |
dc.subject.keyword | Reasoners With Restrictions | eng |
dc.subject.keyword | Language With Restrictions | eng |
dc.subject.keyword | Lógica Multi–Modal | spa |
dc.subject.keyword | Razonadores Con Restricciones | spa |
dc.subject.keyword | Lenguaje Con Restricciones | spa |
dc.title | Multi-modal systems of restricted depth | eng |
dc.title | Sistemas multi–modales de profundidad restringida | spa |
dc.type | article | eng |
dc.type | info:eu-repo/semantics/article | eng |
dc.type | publishedVersion | eng |
dc.type | info:eu-repo/semantics/publishedVersion | eng |
dc.type.local | Artículo | spa |