Mostrar el registro sencillo del ítem

dc.contributor.author
Fervari, Raul Alberto  
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  
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  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
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  
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  
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
Tamaño: 817.3Kb
Formato: PDF
.