Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/12820
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Figueira, Santiago | - |
dc.contributor.author | Gorin, Daniel | - |
dc.contributor.author | GRIMSON, Rafael | - |
dc.date.accessioned | 2011-11-29T15:24:35Z | - |
dc.date.available | 2011-11-29T15:24:35Z | - |
dc.date.issued | 2010 | - |
dc.identifier.citation | JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 76(5), p. 333-346 | - |
dc.identifier.issn | 0022-0000 | - |
dc.identifier.uri | http://hdl.handle.net/1942/12820 | - |
dc.description.abstract | 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. (C) 2009 Elsevier Inc. All rights reserved. | - |
dc.language.iso | en | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.subject.other | Independence friendly logic; Regular formulas; Signaling; Valuation; Compositional semantics; Full abstraction; Flattening operator | - |
dc.title | On the formal semantics of IF-like logics | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 346 | - |
dc.identifier.issue | 5 | - |
dc.identifier.spage | 333 | - |
dc.identifier.volume | 76 | - |
local.format.pages | 14 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | [Figueira, S; Gorin, D] Univ Buenos Aires, FCE&N, Dept Computac, RA-1053 Buenos Aires, DF, Argentina. [Figueira, S] Consejo Nacl Invest Cient & Tecn, RA-1033 Buenos Aires, DF, Argentina. [Grimson, R] Univ Buenos Aires, FCE&N, Dept Matemat, RA-1053 Buenos Aires, DF, Argentina. [Grimson, R] Hasselt Univ, Theoret Comp Sci Grp, Diepenbeek, Belgium. [Grimson, R] Transnatl Univ Limburg, Limburg, Germany. | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1016/j.jcss.2009.10.006 | - |
dc.identifier.isi | 000278469000005 | - |
item.contributor | Figueira, Santiago | - |
item.contributor | Gorin, Daniel | - |
item.contributor | GRIMSON, Rafael | - |
item.fullcitation | Figueira, Santiago; Gorin, Daniel & GRIMSON, Rafael (2010) On the formal semantics of IF-like logics. In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 76(5), p. 333-346. | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
item.validation | ecoom 2011 | - |
crisitem.journal.issn | 0022-0000 | - |
crisitem.journal.eissn | 1090-2724 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
semantics.pdf | Published version | 282.07 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
5
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
5
checked on Apr 30, 2024
Page view(s)
78
checked on Sep 7, 2022
Download(s)
140
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.