The Ceteris Paribus Structure of Logics of Game Forms
Authors: Davide Grossi, Emiliano Lorini, Francois Schwarzentruber
JAIR 2015 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The article introduces a ceteris paribus modal logic, called CP, interpreted on the equivalence classes induced by finite sets of propositional atoms. This logic is studied and then used to embed three logics of strategic interaction, namely atemporal STIT, the coalition logic of propositional control (CL PC) and the starless fragment of the dynamic logic of propositional assignments (DL PA). The embeddings highlight a common ceteris paribus structure underpinning the key operators of all these apparently very different logics and show, we argue, remarkable similarities behind some of the most influential formalisms for reasoning about strategic interaction. |
| Researcher Affiliation | Academia | Davide Grossi EMAIL Department of Computer Science University of Liverpool Emiliano Lorini EMAIL IRIT-CNRS Universit e Paul Sabatier Fran cois Schwarzentruber EMAIL ENS Rennes IRISA |
| Pseudocode | No | The paper presents axiom systems and logical translations, but does not include any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any statements about releasing code or links to source code repositories for the described methodology. |
| Open Datasets | No | This paper is theoretical research on logic and does not involve the use of any datasets for experiments. Therefore, no information about open datasets is provided. |
| Dataset Splits | No | This paper is theoretical research on logic and does not involve the use of any datasets for experiments. Therefore, no information about dataset splits is provided. |
| Hardware Specification | No | This paper is theoretical research and does not describe any experiments that would require specific hardware. Therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | This paper is theoretical research and does not describe any experiments that would require specific software dependencies with version numbers. Therefore, no software dependencies are mentioned. |
| Experiment Setup | No | This paper is theoretical research on logic and does not involve experimental setups or hyperparameters. Therefore, no such details are provided. |