Mostrar el registro sencillo del ítem
dc.contributor.author
Areces, Carlos Eduardo
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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
Hoffmann, Guillaume Emmanuel
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.date.available
2018-01-19T18:01:34Z
dc.date.issued
2014-03
dc.identifier.citation
Areces, Carlos Eduardo; Fervari, Raul Alberto; Hoffmann, Guillaume Emmanuel; Swap logic; Oxford University Press; Logic Journal Of The Igpl (print); 22; 2; 3-2014; 309-332
dc.identifier.issn
1367-0751
dc.identifier.uri
http://hdl.handle.net/11336/33973
dc.description.abstract
We investigate dynamic modal operators that can changethe model during evaluation. We define the logicSLby extending thebasic modal language with the♦modality, which is a diamond operatorthat in addition has the ability to invert pairs of related elements in thedomain while traversing an edge of the accessibility relation.SLis very expressive: it fails to have the finite and the tree model prop-erty. We show thatSLis equivalent to a fragment of first-order logic byproviding a satisfiability preserving translation. In addition, we providean equivalence preserving translation fromSLto the hybrid logicH(:,↓).We also define a suitable notion of bisimulation forSLand investigate itsexpressive power, showing that it lies strictly between the basic modallogic andH(:,↓). We finally show that its model checking problem isPSpace-complete and its satisfiability problem is undecidable.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Oxford 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/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Modal Logic
dc.subject
Dynamic Logics
dc.subject
Expressivity
dc.subject
Complexity
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
Swap logic
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
2018-01-18T21:02:16Z
dc.journal.volume
22
dc.journal.number
2
dc.journal.pagination
309-332
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
Oxford
dc.description.fil
Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.description.fil
Fil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.description.fil
Fil: Hoffmann, Guillaume Emmanuel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.journal.title
Logic Journal Of The Igpl (print)
![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/doi/http://dx.doi.org/10.1093/jigpal/jzt030
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/22/2/309/702907
Archivos asociados