Document Server@UHasselt >
Research >
Research publications >

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

Title: On the formal semantics of IF-like logics
Authors: Figueira, Santiago
Gorin, Daniel
Grimson, Rafael
Issue Date: 2008
Citation: Hodges, Wilfrid & de Queiroz, Ruy J. G. B. (Ed.) Logic, Language, Information and Computation. p. 164-178.
Series/Report no.: 5110
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 Information Friendly (IF) logics. In this work we propose an alternative formalization under which invariance with respect the renaming of bound variables is restored. We show that, when one restricts to formulas where each variable is bound only once, our semantics coincide with those previously used in the literature. We also prove basic metatheoretical results of the resulting logic, such as compositionality and truth preserving operations on valuations. We work on Hodges' slash logic (from which results can be easily transferred to other IF-like logics) and we also consider his flattening operator, for which we give a game-theoretical semantics.
Notes: [Figueira, Santiago; Gorin, Daniel] Univ Buenos Aires, Dept Computac, FCEyN, RA-1053 Buenos Aires, DF, Argentina. [Rafael Grimson] Departamento de Matem├ítica, FCEyN, Universidad de Buenos Aires, Argentina, Hasselt University and Transnational University of Limburg
URI: http://hdl.handle.net/1942/10643
DOI: 10.1007/978-3-540-69937-8_15
ISI #: 000257465600013
ISBN: 9783540699361
ISSN: 0302-9743
Category: C1
Type: Proceedings Paper
Validation: ecoom, 2010
Appears in Collections: Research publications

Files in This Item:

There are no files associated with this item.

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