Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.creator | Areces, Carlos Eduardo | - |
| dc.creator | Fervari, Raul Alberto | - |
| dc.creator | Hoffmann, Guillaume Emmanuel | - |
| dc.date | 2018-01-19T18:01:34Z | - |
| dc.date | 2018-01-19T18:01:34Z | - |
| dc.date | 2014-03 | - |
| dc.date | 2018-01-18T21:02:16Z | - |
| dc.date.accessioned | 2019-04-29T15:26:29Z | - |
| dc.date.available | 2019-04-29T15:26:29Z | - |
| dc.date.issued | 2014-03 | - |
| dc.identifier | 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 | 1367-0751 | - |
| dc.identifier | http://hdl.handle.net/11336/33973 | - |
| dc.identifier | CONICET Digital | - |
| dc.identifier | CONICET | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/294221 | - |
| dc.description | 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.description | 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: 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: 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.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Oxford University Press | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/jigpal/jzt030 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/22/2/309/702907 | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.subject | Modal logic | - |
| dc.subject | dynamic logics | - |
| dc.subject | expressivity | - |
| dc.subject | complexity | - |
| dc.subject | Ciencias de la Computación | - |
| dc.subject | Ciencias de la Computación e Información | - |
| dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
| dc.title | Swap logic | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.