no code implementations • 26 Sep 2022 • Robert Freiman, Michael Bernreiter
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.