Artículo

Bisimulations for Knowing How Logics

Fervari, Raul AlbertoIcon ; Velázquez Quesada, Fernando R.; Wang, Yanjing
Fecha de publicación: 22/03/2021
Editorial: Cambridge University Press
Revista: Review of Symbolic Logic
ISSN: 1755-0203
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these logics.
Palabras clave: EPISTEMIC LOGIC , KNOWING HOW , BISIMULATIONS , EXPRESSIVITY
 
Archivos asociados
Tamaño: 817.3Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/160210
URL: https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/abs/bis
DOI: https://doi.org/10.1017/S1755020321000101
Colecciones
Articulos(CCT - CORDOBA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - CORDOBA
Citación
Fervari, Raul Alberto; Velázquez Quesada, Fernando R.; Wang, Yanjing; Bisimulations for Knowing How Logics; Cambridge University Press; Review of Symbolic Logic; 15; 2; 22-3-2021; 450-486
Compartir
Altmétricas