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álculo...
| Main Author: | |
|---|---|
| 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 |