The Basic Algebra of Game Equivalences

Studia Logica 75 (2):221-238 (2003)
Download Edit this record How to cite View on PhilPapers
Abstract
We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities. En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways game identities into modal formulae. The completeness proof is based on reduction of game terms to a certain 'minimal canonical form', by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities.
Reprint years
2004
PhilPapers/Archive ID
GORTBA-4
Revision history
Archival date: 2018-04-21
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Modelling Simultaneous Games in Dynamic Logic.van Benthem, Johan; Ghosh, Sujata & Liu, Fenrong
Modelling Simultaneous Games in Dynamic Logic.Benthem, Johan Van; Ghosh, Sujata & Liu, Fenrong

Add more citations

Added to PP index
2009-01-28

Total views
62 ( #27,674 of 38,668 )

Recent downloads (6 months)
15 ( #24,483 of 38,668 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.