publication . Article . 2008

Sistemas multi–modales de profundidad restringida

Manuel Sierra A.;
Open Access English
  • Published: 01 Dec 2008 Journal: Ingeniería y Ciencia, volume 4, issue 8 (issn: 1794-9165, eissn: 2256-4314, Copyright policy)
  • Publisher: Universidad EAFIT
Abstract
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 d...
Subjects
free text keywords: lógica multi–modal, razonadores con restricciones, lenguaje con restricciones, lcsh:Technology, lcsh:T, lcsh:Science, lcsh:Q, lcsh:Science (General), lcsh:Q1-390
Download from
Any information missing or wrong?Report an Issue