dc.contributor.author | Areces, Carlos Eduardo | |
dc.contributor.author | Fervari, Raúl Alberto | |
dc.contributor.author | Hoffmann, Guillaume Emmanuel | |
dc.date.accessioned | 2021-09-22T20:15:32Z | |
dc.date.available | 2021-09-22T20:15:32Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Areces, C. E., Fervari, R. A. y Hoffmann, G. E. (2014). Swap logic. Logic Journal of the Interest Group in Pure and Applied Logic, 22 (2), 309-332. http://dx.doi.org/10.1093/jigpal/jzt030 | es |
dc.identifier.uri | http://hdl.handle.net/11086/20427 | |
dc.identifier.uri | https://doi.org/10.1093/jigpal/jzt030 | |
dc.description.abstract | We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edge of the accessibility relation. SL is very expressive: it fails to have the finite and the tree model property. We show that SL is equivalent to a fragment of first-order logic by providing a satisfiability preserving translation. In addition, we provide an equivalence preserving translation from SL to the hybrid logic H(:, ↓). We also define a suitable notion of bisimulation for SL and investigate its expressive power, showing that it lies strictly between the basic modal logic and H(:, ↓). We finally show that its model checking problem is PSpace-complete and its satisfiability problem is undecidable. | en |
dc.description.uri | http://dx.doi.org/10.1093/jigpal/jzt030 | |
dc.format.medium | Impreso; Electrónico y/o Digital | |
dc.language.iso | eng | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.source | ISSN 1367-0751 | |
dc.subject | Modal logic | en |
dc.subject | Dynamic logics | en |
dc.subject | Expressivity | en |
dc.subject | Complexity | en |
dc.title | Swap logic | en |
dc.type | article | es |
dc.description.version | submittedVersion | es |
dc.description.fil | Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.description.fil | Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | es |
dc.description.fil | Fil: Fervari, Raúl Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.description.fil | Fil: Hoffmann, Guillaume Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.journal.city | Oxford | es |
dc.journal.country | Reino Unido | es |
dc.journal.editorial | Oxford University Press | en |
dc.journal.number | 2 | es |
dc.journal.pagination | 309-332 | es |
dc.journal.referato | Con referato | |
dc.journal.title | Logic Journal of the Interest Group in Pure and Applied Logic | en |
dc.journal.volume | 22 | es |
dc.description.field | Ciencias de la Computación | |