DeepAI AI Chat
Log In Sign Up

Truth and Preferences – A Game Approach for Qualitative Choice Logic

09/26/2022
by   Robert Freiman, et al.
TU Wien
Logic Industries
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

08/07/2021

A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...
07/11/2002

Logic Programming with Ordered Disjunction

Logic programs with ordered disjunction (LPODs) combine ideas underlying...
12/20/2020

Lexicographic Logic: a Many-valued Logic for Preference Representation

Logical formalisms provide a natural and concise means for specifying an...
04/23/2023

Alternating (In)Dependence-Friendly Logic

Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...
12/16/2019

On the Unity of Logic: a Sequential, Unpolarized Approach

The present work aims to give a unity of logic via standard sequential, ...
06/08/2019

Paraconsistency, resolution and relevance

Digraphs provide an alternative syntax for propositional logic, with dig...
10/11/2022

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic

There are two major approaches to proof-theoretic semantics: proof-theor...