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.