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.