Repository | Journal | Volume | Article
Thompson transformations for if-logic
pp. 285-309
Abstract
In this paper we study connections between game theoretical concepts and results, and features of IF-predicate logic, extending observations from J. van Benthem (2001) for IF-propositional logic. We highlight how both characteristics of perfect recall can fail in the semantic games for IF-formulas, and we discuss the four Thompson transformations in relation with IF-logic. Many (strong) equivalence schemes for IF-logic correspond to one or more of the transformations. However, we also find one equivalence that does not fit in this picture, by the type of imperfect recall involved. We point out that the connection between the transformations and logical equivalence schemes is less direct in IF-first order logic than in the propositional case. The transformations do not generate a reduced normal form for IF-logic, because the IF-language is not flexible enough.
Publication details
Published in:
(2006) Synthese 149 (2).
Pages: 285-309
DOI: 10.1007/s11229-005-3876-7
Full citation:
Dechesne Francien (2006) „Thompson transformations for if-logic“. Synthese 149 (2), 285–309.