Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information

Galliani, Pietro; Mann, Allen L.

doi:10.1007/s11225-013-9475-6

Cited by 6 publications

(6 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this article we establish that, in the multiteam semantics setting, independence atoms can be naturally interpreted exactly as statistical conditional independence. Probabilistic versions of dependence logic have been previously studied by Galliani and Mann [8,11].…”

Section: Introductionmentioning

confidence: 99%

Approximation and dependence via multiteam semantics

Durand

Hannula

Kontinen

et al. 2018

Ann Math Artif Intell

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

Approximation and dependence via multiteam semantics

Durand

Hannula

Kontinen

et al. 2018

Ann Math Artif Intell

View full text Add to dashboard Cite

show abstract

“…The present definition of equilibrium semantics is not compositional, that is, the value of an IF formula is not determined on the basis of the values of its subformulas. Interestingly, it was shown by Galliani and Mann [6] that compositionality can be restored by extending Hodges' trump semantics with probability distributions over assignments. This approach may yield other tools for analyzing the values of IF strategic games.…”

Section: Preliminariesmentioning

confidence: 99%

Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications

Sevenster¹

2018

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

View full text Add to dashboard Cite

In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of (mixed strategy) Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two-player games. In this note we draw on the theory of linear programming to develop tools to analyze the value of such games. We give two applications of these tools to independencefriendly logic under the so-called equilibrium semantics.

show abstract

“…We close this section with references to other recent variants of dependence logic: Probabilistic versions of dependence logic have been formulated in (Galliani, ), and (Galliani and Mann, ). In these logics, the semantic value of a formula in a model