Truth and Preferences -- A Game Approach for Qualitative Choice Logic
From MaRDI portal
Publication:6411973
DOI10.1007/978-3-031-43619-2_37arXiv2209.12777OpenAlexW4386989768MaRDI QIDQ6411973
Robert Freiman, Michael Bernreiter
Publication date: 26 September 2022
Abstract: In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an additional connective called ordered disjunction. Firstly, we demonstrate that game semantics can capture existing degree-based semantics for QCL in a natural way. Secondly, we show that game semantics can be leveraged to derive new semantics for the language of QCL. In particular, we present a new semantics that makes use of GTS negation and, by doing so, avoids problems with negation in existing QCL-semantics.
Full work available at URL: https://doi.org/10.1007/978-3-031-43619-2_37
Related Items (1)
This page was built for publication: Truth and Preferences -- A Game Approach for Qualitative Choice Logic
