On the formal semantics of IF-like logics

Mostrar todas las versiones(5)

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 th...

Descripción completa

Detalles Bibliográficos
Autores principales: Figueira, S., Gorín, D., Grimson, R.
Formato: JOUR
Materias:
Compositional semantics
Flattening operator
Full abstraction
Independence friendly logic
Regular formulas
Signaling
Valuation
Bound variables
Classical logic
Formal Semantics
Abstracting
Formal methods
Game theory
Semantics
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00220000_v76_n5_p333_Figueira
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares