Allen L. Mann

Independence-Friendly Logic: A Game-Theoretic Approach

Preface 1. Introduction 2. Game theory 3. First-order logic 4. Independence-friendly (IF) logic 5. Properties of IF logic 6. Expressive power of IF logic 7. Probabilistic IF logic 8. Further topics References Index.

Independence-friendly cylindric set algebras

Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of first-order logic. We define independence-friendly cylindric set algebras and prove two main results. First, every independence-friendly cylindric set algebra over a structure has an underlying Kleene algebra. Moreover, the class of such underlying Kleene algebras generates the variety of all Kleene algebras. Hence the equational theory of the class of Kleene algebras that underly an independence-friendly cylindric set algebra is finitely axiomatizable. Second, every one-dimensional independence-friendly cylindric set algebra over a structure has an underlying monadic Kleene algebra. However, the class of such underlying monadic Kleene algebras does not generate the variety of all monadic Kleene algebras. Finally, we offer a conjecture about which subvariety of monadic Kleene algebras the class of such monadic Kleene algebras does generate.

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

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.

Perfect IFG-Formulas

Abstract.IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: “Which IFG-formulas are equivalent to ordinary first-order formulas?” We use the answer to prove the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.

A Logical Analysis of Monty Hall and Sleeping Beauty

Hintikka and Sandu’s independence-friendly (IF) logic is a conservative extension of first-order logic that allows one to consider semantic games with imperfect information. In the present article, we first show how several variants of the Monty Hall problem can be modeled as semantic games for IF sentences. In the process, we extend IF logic to include semantic games with chance moves and dub this extension stochastic IF logic. Finally, we use stochastic IF logic to analyze the Sleeping Beauty problem, leading to the conclusion that the thirders are correct while identifying the main error in the halfers’ argument.

Cylindric Set Algebras and IF Logic

Independence-friendly logic (IF logic) [Hin,96, Hin-San,89] is a conservative extension of first-order logic that can be viewed as a generalization of Henkin’s branching quantifiers [Hen,61]. For example, in the branching quantifier sentence