@article {IOPORT.01059581,
    author       = {Hodges, Wilfrid},
    title        = {Compositional semantics for a language of imperfect information.},
    year         = {1997},
    journal      = {Logic Journal of the IGPL},
    volume       = {5},
    number       = {4},
    issn         = {1367-0751},
    pages        = {539-563},
    publisher    = {Oxford University Press, Oxford},
    doi          = {10.1093/jigpal/5.4.539},
    abstract     = {Summary: We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example, the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the `information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure.},
    identifier   = {01059581},
}