The logical representation of extensive games

DOI10.1007/BF01243648MaRDI QIDQ687063zbMATH OpenFDO

Authors Giacomo Bonanno

Publication date 4 January 1994

Published in International Journal of Game Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01243648

zbMATH Keywords

extensive formpropositional calculustopological semanticswell-formed formulas

Mathematics Subject Classification ID

Classical propositional logic (03B05) 2-person games (91A05)

Review text

Given is an extensive form \(G\) in which every choice is associated an atomic sentence and with every information set a set of well-formed formulas (wffs) of propositional calculus. The set of such wffs is denoted by \(\Gamma(G)\). Using the so-called topological semantics for propositional calculus (which differs from the standard one based on truth tables), it is shown that the extensive form yields a topological model of \(\Gamma(G)\), that is, every wff in \(\Gamma(G)\) is ``true in \(G\). It is also shown that within the standard truth-table semantics for propositional calculus, there is a one-to-one and onto correspondence between the set of plays of \(G\) and the set of valuations that satisfy all the wffs in \(\Gamma(G)\).

Recommendations

• Extensive forms and set-theoretic forms
• Playing extensive form games in parallel
• An epistemic logic of extensive games
• Representing strategic games and their equilibria in many-valued logics
• Game logic and its applications. I

Cites work

• Extensive forms and set-theoretic forms
• Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities
• scientific article; zbMATH DE number 3226832 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Mathematical logic. An introduction to model theory. Edited by H. B. Enderton
• Rationality, Computability, and Nash Equilibrium
• Some notes on Church's thesis and the theory of games

Cited in

(5)

• Reasoning in large games with unboundedly many players
• Subjective reasoning -- dynamic games
• A probabilistic representation of exact games on image-algebras
• scientific article; zbMATH DE number 6520260 (Why is no real title available?)
• Playing extensive form games in parallel

This page was built for publication: The logical representation of extensive games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q687063)