Ceteris Paribus Structure in Logics of Game Forms
Computer Science and Game Theory
2013-10-28 v1 Logic in Computer Science
Abstract
The article introduces a ceteris paribus modal logic interpreted on the equivalence classes induced by sets of propositional atoms. This logic is used to embed two logics of agency and games, namely atemporal STIT and the coalition logic of propositional control (CL-PC). The embeddings highlight a common ceteris paribus structure underpinning the key modal operators of both logics, they clarify the relationship between STIT and CL-PC, and enable the transfer of complexity results to the ceteris paribus logic.
Cite
@article{arxiv.1310.6416,
title = {Ceteris Paribus Structure in Logics of Game Forms},
author = {Davide Grossi and Emiliano Lorini and Francois Schwarzentruber},
journal= {arXiv preprint arXiv:1310.6416},
year = {2013}
}
Comments
11 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org