On the formal semantics of IF-like logics
- Autores
- Figueira, Santiago; Gorin, Daniel Alejadro; Grimson, Rafael
- Año de publicación
- 2010
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) logics. In this paper we argue that this is not an inherent characteristic of these logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas. We fix this by proposing an alternative formalization, based on a variation of the classical notion of valuation. Basic metatheoretical results are proven. We present these results for Hodges’ slash logic (from which these can be easily transferred to other IF-like logics) and we also consider the flattening operator, for which we give novel game-theoretical semantics.
Fil: Figueira, Santiago. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Gorin, Daniel Alejadro. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Grimson, Rafael. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Hasselt University; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina - Materia
-
Information Friendly Logic
Regular Formulas
Signaling
Compositional Semantics - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/16536
Ver los metadatos del registro completo
id |
CONICETDig_262bbb45819c774ece69315dc5b25c7c |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/16536 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
On the formal semantics of IF-like logicsFigueira, SantiagoGorin, Daniel AlejadroGrimson, RafaelInformation Friendly LogicRegular FormulasSignalingCompositional Semanticshttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) logics. In this paper we argue that this is not an inherent characteristic of these logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas. We fix this by proposing an alternative formalization, based on a variation of the classical notion of valuation. Basic metatheoretical results are proven. We present these results for Hodges’ slash logic (from which these can be easily transferred to other IF-like logics) and we also consider the flattening operator, for which we give novel game-theoretical semantics.Fil: Figueira, Santiago. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Gorin, Daniel Alejadro. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Grimson, Rafael. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Hasselt University; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaElsevier Inc2010-08info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/16536Figueira, Santiago; Gorin, Daniel Alejadro; Grimson, Rafael; On the formal semantics of IF-like logics; Elsevier Inc; Journal Of Computer And System Sciences; 76; 5; 8-2010; 333-3460022-0000enginfo:eu-repo/semantics/altIdentifier/doi/10.1016/j.jcss.2009.10.006info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0022000009000956?via%3Dihubinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:39:00Zoai:ri.conicet.gov.ar:11336/16536instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:39:01.137CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
On the formal semantics of IF-like logics |
title |
On the formal semantics of IF-like logics |
spellingShingle |
On the formal semantics of IF-like logics Figueira, Santiago Information Friendly Logic Regular Formulas Signaling Compositional Semantics |
title_short |
On the formal semantics of IF-like logics |
title_full |
On the formal semantics of IF-like logics |
title_fullStr |
On the formal semantics of IF-like logics |
title_full_unstemmed |
On the formal semantics of IF-like logics |
title_sort |
On the formal semantics of IF-like logics |
dc.creator.none.fl_str_mv |
Figueira, Santiago Gorin, Daniel Alejadro Grimson, Rafael |
author |
Figueira, Santiago |
author_facet |
Figueira, Santiago Gorin, Daniel Alejadro Grimson, Rafael |
author_role |
author |
author2 |
Gorin, Daniel Alejadro Grimson, Rafael |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Information Friendly Logic Regular Formulas Signaling Compositional Semantics |
topic |
Information Friendly Logic Regular Formulas Signaling Compositional Semantics |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) logics. In this paper we argue that this is not an inherent characteristic of these logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas. We fix this by proposing an alternative formalization, based on a variation of the classical notion of valuation. Basic metatheoretical results are proven. We present these results for Hodges’ slash logic (from which these can be easily transferred to other IF-like logics) and we also consider the flattening operator, for which we give novel game-theoretical semantics. Fil: Figueira, Santiago. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Gorin, Daniel Alejadro. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Grimson, Rafael. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Hasselt University; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina |
description |
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) logics. In this paper we argue that this is not an inherent characteristic of these logics but a defect in the way in which the compositional semantics given by Hodges for the regular fragment was generalized to arbitrary formulas. We fix this by proposing an alternative formalization, based on a variation of the classical notion of valuation. Basic metatheoretical results are proven. We present these results for Hodges’ slash logic (from which these can be easily transferred to other IF-like logics) and we also consider the flattening operator, for which we give novel game-theoretical semantics. |
publishDate |
2010 |
dc.date.none.fl_str_mv |
2010-08 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/16536 Figueira, Santiago; Gorin, Daniel Alejadro; Grimson, Rafael; On the formal semantics of IF-like logics; Elsevier Inc; Journal Of Computer And System Sciences; 76; 5; 8-2010; 333-346 0022-0000 |
url |
http://hdl.handle.net/11336/16536 |
identifier_str_mv |
Figueira, Santiago; Gorin, Daniel Alejadro; Grimson, Rafael; On the formal semantics of IF-like logics; Elsevier Inc; Journal Of Computer And System Sciences; 76; 5; 8-2010; 333-346 0022-0000 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jcss.2009.10.006 info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0022000009000956?via%3Dihub |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf application/pdf application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Elsevier Inc |
publisher.none.fl_str_mv |
Elsevier Inc |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1844613233675075584 |
score |
13.070432 |