DMCA
Compositional Semantics for a Language of Imperfect Information (1997)
| Venue: | LOGIC JOURNAL OF THE IPGL |
| Citations: | 89 - 2 self |
BibTeX
@ARTICLE{Hodges97compositionalsemantics,
author = {Wilfrid Hodges},
title = {Compositional Semantics for a Language of Imperfect Information},
journal = {LOGIC JOURNAL OF THE IPGL},
year = {1997},
volume = {5},
pages = {539--563}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
