Academic Journals Database
Disseminating quality controlled scientific knowledge

Multi-modal systems of restricted depth Sistemas multi–modales de profundidad restringida

ADD TO MY LIST
 
Author(s): Manuel Sierra A.

Journal: Ingeniería y Ciencia
ISSN 1794-9165

Volume: 4;
Issue: 8;
Start page: 175;
Date: 2011;
Original page

Keywords: lógica multi–modal | razonadores con restricciones | lenguaje con restricciones

ABSTRACT
They are presented as extensions of the classical propositional logic, the hierarchy of deductive systems SMM–n with n > 1. SMM–n is the multi–modal system of depth–n. The system SMM–1 is the classical propositional logic. The system SMM–(n + 1) it can be seen as the result of applying the necesariedad rule, associated to the reasoners with enough reasoning capacity, once to the theorems of the system SMM–n. The system SMM is of the union of the systems of the hierarchy, and it can be seen as the system of logic multimodal Km with restrictions. The systems SMM–n are characterized with a semantics to the style Kripke, in the one which, the longitude of the chains of possible worlds 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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions