1997
DOI: 10.1093/jigpal/5.4.539
|View full text |Cite
|
Sign up to set email alerts
|

Compositional semantics for a language of imperfect information

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 for… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
246
0

Year Published

2005
2005
2024
2024

Publication Types

Select...
5
3
1

Relationship

0
9

Authors

Journals

citations
Cited by 254 publications
(247 citation statements)
references
References 15 publications
1
246
0
Order By: Relevance
“…(14) and (15) Brasoveanu & Farkas (2011) build an account of Romanian cîte in a version of Independence-Friendly Logic (Hintikka 1979, Sandu 1993, Hodges 1997, Väänänen 2007. In these logics, variables are indexed with the quantifiers they are (in)dependent of/on.…”
Section: The Middle Case: Romanian/hungarian Dependent Indefinitesmentioning
confidence: 99%
“…(14) and (15) Brasoveanu & Farkas (2011) build an account of Romanian cîte in a version of Independence-Friendly Logic (Hintikka 1979, Sandu 1993, Hodges 1997, Väänänen 2007. In these logics, variables are indexed with the quantifiers they are (in)dependent of/on.…”
Section: The Middle Case: Romanian/hungarian Dependent Indefinitesmentioning
confidence: 99%
“…Challenged by Hintikka's claim, Hodges (1997) provided a compositional semantics. The interpretation of a formula is a set of sets (of values for free variables).…”
Section: )mentioning
confidence: 99%
“…The (in)dependence-friendly logics of Hintikka (1973), Sandu (1993), Hintikka & Sandu (1996), Hodges (1997), andVäänänen (2007) seem particularly well-suited to express this kind of 'selective' covariation (a.k.a. imperfect information).…”
Section: Quantificational Dependencies Intra-sententially: Exceptionamentioning
confidence: 99%
“…On the logical side, Hodges (1997) and Väänänen (2007) provide a compositional semantics for (in)dependence logic that crucially relies on sets of variable assignments to encode dependencies.…”
Section: Quantificational Dependencies Intra-sententially: Exceptionamentioning
confidence: 99%