Multi-modal systems of restricted depth
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 apply...
- Autores:
-
Sierra A., Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2008
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/14524
- Acceso en línea:
- http://hdl.handle.net/10784/14524
- Palabra clave:
- Multi-Modal Logic
Reasoners With Restrictions
Language With Restrictions
Lógica Multi–Modal
Razonadores Con Restricciones
Lenguaje Con Restricciones
- Rights
- License
- Copyright (c) 2008 Manuel Sierra A.
id |
REPOEAFIT2_7ac748fb2ad7b27b401f35eb540ac9dd |
---|---|
oai_identifier_str |
oai:repository.eafit.edu.co:10784/14524 |
network_acronym_str |
REPOEAFIT2 |
network_name_str |
Repositorio EAFIT |
repository_id_str |
|
spelling |
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 degrees2008-12-012019-11-22T19:10:47Z2008-12-012019-11-22T19:10:47Z2256-43141794-9165http://hdl.handle.net/10784/14524They 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.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.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222Copyright (c) 2008 Manuel Sierra A.Acceso abiertohttp://purl.org/coar/access_right/c_abf2instname:Universidad EAFITreponame:Repositorio Institucional Universidad EAFITIngeniería y Ciencia; Vol 4, No 8 (2008)Multi-modal systems of restricted depthSistemas multi–modales de profundidad restringidaarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Multi-Modal LogicReasoners With RestrictionsLanguage With RestrictionsLógica Multi–ModalRazonadores Con RestriccionesLenguaje Con RestriccionesSierra A., ManuelUniversidad EAFITIngeniería y Ciencia48175202ing.cienc.THUMBNAILminaitura-ig_Mesa de trabajo 1.jpgminaitura-ig_Mesa de trabajo 1.jpgimage/jpeg265796https://repository.eafit.edu.co/bitstreams/3d938d55-cb09-4cdf-9cbd-f813cb1bc269/downloadda9b21a5c7e00c7f1127cef8e97035e0MD51ORIGINAL8.pdf8.pdfTexto completo PDFapplication/pdf263990https://repository.eafit.edu.co/bitstreams/1f04c327-7836-4e44-91d3-6d190161b794/downloadaa8d8a0356b8d45c1e96c6567a5daf79MD52articulo.htmlarticulo.htmlTexto completo HTMLtext/html373https://repository.eafit.edu.co/bitstreams/b741ebe7-019d-4e0a-85ac-25b0805c7e8f/download53b655e1d277083a7cb26e887bbb4de6MD5310784/14524oai:repository.eafit.edu.co:10784/145242020-03-02 23:08:40.283open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
dc.title.eng.fl_str_mv |
Multi-modal systems of restricted depth |
dc.title.spa.fl_str_mv |
Sistemas multi–modales de profundidad restringida |
title |
Multi-modal systems of restricted depth |
spellingShingle |
Multi-modal systems of restricted depth Multi-Modal Logic Reasoners With Restrictions Language With Restrictions Lógica Multi–Modal Razonadores Con Restricciones Lenguaje Con Restricciones |
title_short |
Multi-modal systems of restricted depth |
title_full |
Multi-modal systems of restricted depth |
title_fullStr |
Multi-modal systems of restricted depth |
title_full_unstemmed |
Multi-modal systems of restricted depth |
title_sort |
Multi-modal systems of restricted depth |
dc.creator.fl_str_mv |
Sierra A., Manuel |
dc.contributor.author.spa.fl_str_mv |
Sierra A., Manuel |
dc.contributor.affiliation.spa.fl_str_mv |
Universidad EAFIT |
dc.subject.keyword.eng.fl_str_mv |
Multi-Modal Logic Reasoners With Restrictions Language With Restrictions |
topic |
Multi-Modal Logic Reasoners With Restrictions Language With Restrictions Lógica Multi–Modal Razonadores Con Restricciones Lenguaje Con Restricciones |
dc.subject.keyword.spa.fl_str_mv |
Lógica Multi–Modal Razonadores Con Restricciones Lenguaje Con Restricciones |
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. |
publishDate |
2008 |
dc.date.issued.none.fl_str_mv |
2008-12-01 |
dc.date.available.none.fl_str_mv |
2019-11-22T19:10:47Z |
dc.date.accessioned.none.fl_str_mv |
2019-11-22T19:10:47Z |
dc.date.none.fl_str_mv |
2008-12-01 |
dc.type.eng.fl_str_mv |
article info:eu-repo/semantics/article publishedVersion info:eu-repo/semantics/publishedVersion |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.local.spa.fl_str_mv |
Artículo |
status_str |
publishedVersion |
dc.identifier.issn.none.fl_str_mv |
2256-4314 1794-9165 |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/10784/14524 |
identifier_str_mv |
2256-4314 1794-9165 |
url |
http://hdl.handle.net/10784/14524 |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.isversionof.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222 |
dc.relation.uri.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/222 |
dc.rights.eng.fl_str_mv |
Copyright (c) 2008 Manuel Sierra A. |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.local.spa.fl_str_mv |
Acceso abierto |
rights_invalid_str_mv |
Copyright (c) 2008 Manuel Sierra A. Acceso abierto http://purl.org/coar/access_right/c_abf2 |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.spatial.eng.fl_str_mv |
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 |
dc.publisher.spa.fl_str_mv |
Universidad EAFIT |
dc.source.none.fl_str_mv |
instname:Universidad EAFIT reponame:Repositorio Institucional Universidad EAFIT |
dc.source.spa.fl_str_mv |
Ingeniería y Ciencia; Vol 4, No 8 (2008) |
instname_str |
Universidad EAFIT |
institution |
Universidad EAFIT |
reponame_str |
Repositorio Institucional Universidad EAFIT |
collection |
Repositorio Institucional Universidad EAFIT |
bitstream.url.fl_str_mv |
https://repository.eafit.edu.co/bitstreams/3d938d55-cb09-4cdf-9cbd-f813cb1bc269/download https://repository.eafit.edu.co/bitstreams/1f04c327-7836-4e44-91d3-6d190161b794/download https://repository.eafit.edu.co/bitstreams/b741ebe7-019d-4e0a-85ac-25b0805c7e8f/download |
bitstream.checksum.fl_str_mv |
da9b21a5c7e00c7f1127cef8e97035e0 aa8d8a0356b8d45c1e96c6567a5daf79 53b655e1d277083a7cb26e887bbb4de6 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad EAFIT |
repository.mail.fl_str_mv |
repositorio@eafit.edu.co |
_version_ |
1814110250286972928 |