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...
| Hovedforfatter: | |
|---|---|
| Format: | Article |
| Sprog: | English |
| Udgivet: |
Universidad EAFIT
2010-12-01
|
| Serier: | Ingeniería y Ciencia |
| Fag: | |
| Online adgang: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/335 |