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 Raymundo
dc.date.available
2022-08-04T13:55:54Z
dc.date.issued
2019-11
dc.identifier.citation
Fervari, Raul Alberto; Velázquez Quesada, Fernando Raymundo; Introspection as an action in relational models; Elsevier Science; Journal of Logical and Algebraic Methods in Programming; 108; 11-2019; 1-23
dc.identifier.issn
2352-2208
dc.identifier.uri
http://hdl.handle.net/11336/164195
dc.description.abstract
This work studies positive and negative introspection not as ‘static’ properties an agent might or might not have, but rather as epistemic actions that change the agent's knowledge. The proposed actions include not only operations for achieving full introspection (first with respect to all formulas, and then with respect to a particular χ), but also acts for increasing the agent's introspection by only one degree. In all cases, the actions are represented as model update operations, with matching modalities for expressing the operations' effects. Sound and complete axiom systems are provided in most cases, and some properties of the operations are explored.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Elsevier Science
![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-nd/2.5/ar/
dc.subject
POSITIVE INTROSPECTION
dc.subject
NEGATIVE INTROSPECTION
dc.subject
EPISTEMIC LOGIC
dc.subject
DYNAMIC LOGIC
dc.subject.classification
Otras 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 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
Introspection as an action in relational models
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-08-03T18:08:07Z
dc.identifier.eissn
2352-2216
dc.journal.volume
108
dc.journal.pagination
1-23
dc.journal.pais
Países Bajos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Ámsterdam
dc.description.fil
Fil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina
dc.description.fil
Fil: Velázquez Quesada, Fernando Raymundo. University of Amsterdam; Países Bajos
dc.journal.title
Journal of Logical and Algebraic Methods in Programming
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S2352220818300737
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.jlamp.2019.06.005
Archivos asociados