Lógicas epistémica y doxástica con restricciones
Se presentan como extensiones del cálculo proposicional clásico las jerarquías de sistemas deductivos LER–n y LDR–n, con n ≥ 1. LER–n es la Lógica epistémica con restricciones de profundidad–n, LDR–n es la Lógica doxástica con restricciones de profundidad–n. Los sistemas LER–1 y LDR–1 son el cálcul...
Main Author: | Manuel Sierra A. |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidad EAFIT
2010-12-01
|
Series: | Ingeniería y Ciencia |
Subjects: | |
Online Access: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/335 |
Similar Items
-
Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
by: Gloria Rúa M., et al.
Published: (2008-06-01) -
Lógica de las tautologías
by: Manuel Sierra A.
Published: (2012-06-01) -
Necesidad lógica y necesidad analítica. ¿Sobre qué versa el lenguaje?
by: Javier Vilanova Arias
Published: (2004-01-01) -
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
by: Vieira, Thiago Coelho
Published: (2015) -
On Rich Modal Logics
by: Dodó, Adriano Alves
Published: (2014)