Operational Semantics of Games
Logic in Computer Science
2019-09-04 v2
Abstract
We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used widely to reason on the behaviors of systems (not only computational systems) with game theory supported.
Cite
@article{arxiv.1907.02668,
title = {Operational Semantics of Games},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1907.02668},
year = {2019}
}
Comments
15 pages. arXiv admin note: substantial text overlap with arXiv:1611.09035, arXiv:1810.00868