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...

Full description

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