Mostrar el registro sencillo del ítem
dc.contributor.author
Fervari, Raul Alberto
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Velázquez Quesada, Fernando R.
dc.contributor.author
Wang, Yanjing
dc.date.available
2022-06-22T14:59:37Z
dc.date.issued
2021-03-22
dc.identifier.citation
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
dc.identifier.issn
1755-0203
dc.identifier.uri
http://hdl.handle.net/11336/160210
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Cambridge University Press
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
EPISTEMIC LOGIC
dc.subject
KNOWING HOW
dc.subject
BISIMULATIONS
dc.subject
EXPRESSIVITY
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Bisimulations for Knowing How Logics
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2022-05-12T16:49:54Z
dc.journal.volume
15
dc.journal.number
2
dc.journal.pagination
450-486
dc.journal.pais
Reino Unido
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Cambridge
dc.description.fil
Fil: Fervari, Raul Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina
dc.description.fil
Fil: Velázquez Quesada, Fernando R.. University of Amsterdam; Países Bajos
dc.description.fil
Fil: Wang, Yanjing. Peking University; China
dc.journal.title
Review of Symbolic Logic
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/abs/bisimulations-for-knowing-how-logics/61B80E9D9D9FC419A946894DF1133CBF
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1017/S1755020321000101
Archivos asociados