Sistemas multi–modales de profundidad restringida

Article English OPEN
Manuel Sierra A. (2008)
  • Publisher: Universidad EAFIT
  • Journal: Ingeniería y Ciencia (issn: 1794-9165, eissn: 2256-4314)
  • Subject: lógica multi–modal | razonadores con restricciones | lenguaje con restricciones | Technology | T | Science | Q | Science (General) | Q1-390

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. MSC: 03BXX, 03B05, 03B45
Share - Bookmark