PP-2000-12: The Basic Algebra of Game Equivalences

PP-2000-12: Gorankov, Valentin (2000) The Basic Algebra of Game Equivalences. [Report]

[img] Text (Full Text)

Download (102kB)
[img] Text (Abstract)

Download (833B)


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', using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. Keyword(s): game algebra, game boards, game equivalence, axiomatization, completeness

Item Type: Report
Report Nr: PP-2000-12
Series Name: Prepublication (PP) Series
Year: 2000
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/39

Actions (login required)

View Item View Item