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
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/16536

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