www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/12820

Title: On the formal semantics of IF-like logics
Authors: Figueira, Santiago
Gorin, Daniel
Grimson, Rafael
Issue Date: 2010
Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCE
Citation: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 76(5), p. 333-346
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.
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.
URI: http://hdl.handle.net/1942/12820
DOI: 10.1016/j.jcss.2009.10.006
ISI #: 000278469000005
ISSN: 0022-0000
Category: A1
Type: Journal Contribution
Validation: ecoom, 2011
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
Published version282.07 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.