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

Authors:
Pietro Galliani;Allen L. Mann
Affiliations:
FNWI, ILLC, Universiteit van Amsterdam, Amsterdam, The Netherlands 1090 GE;Department of Mathematics, Colgate University, Hamilton, USA 13346
Venue:
Studia Logica
Year:
2013

Citing 3
Cited 0

The principles of mathematics revisited

The principles of mathematics revisited
Some Strange Quantifiers

Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)

Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu's equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.