| Revista: | Andamios |
| Base de datos: | |
| Número de sistema: | 000592338 |
| ISSN: | 1870-0063 |
| Autores: | Soler Toscano, Fernando1 |
| Instituciones: | 1Universidad de Sevilla, Sevilla. España |
| Año: | 2023 |
| Periodo: | Sep-Dic |
| Volumen: | 20 |
| Número: | 53 |
| Paginación: | 205-232 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Resumen en español | Este trabajo presenta una introducción a la lógica epistémica dinámica a través de diversos sistemas formales que permiten representar conocimientos y creencias de uno o varios agentes, así como acciones epistémicas que pueden modificarlos. Concretamente, presentamos la lógica de anuncios públicos, modelos de acción y modelos de plausibilidad. |
| Resumen en inglés | This paper presents an introduction to dynamic epistemic logic through some formal systems that allow to represent knowledge and beliefs of one or more agents, as well as epistemic actions that can modify them. Specifically, we present the public announcements logic, action models and plausibility models. |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica epistémica dinámica, Anuncios públicos, Modelos de acción, Modelos de plausibilidad, Conocimiento y creencia, Lógica |
| Keyword: | Dynamic epistemic logic, Public announcements, Action models, Plausibility models, Knowledge and belief, Logic |
| Texto completo: | Texto completo (Ver PDF) Texto completo (Ver HTML) |
