PP-2016-10: Marti, Johannes and Pinosio, Riccardo (2016) A Game Semantics for System P. [Report]
Preview |
Text (Full Text)
PP-2016-10.text.pdf Download (342kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2016-10.abstract.txt Download (1kB) |
Abstract
In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove soundness and completeness of the game semantics with respect to the rules of System P, and show that an inference is valid with respect to the game semantics if and only if it is valid with respect to the standard order semantics of System P. Combining these two results leads to a new completeness proof for System P with respect to its order semantics. Our approach allows us to construct for every inference either a concrete proof of the inference from the rules in System P or a countermodel in the order semantics.
Our results rely on the notion of a witnessing set for an inference, whose existence is a concise, necessary and sufficient condition for validity of an inferences in System P.
We also introduce an infinitary variant of System P and use the game semantics to show its completeness for the restricted class of well-founded orders.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2016-10 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | Non-monotonic consequence relations, Conditional logic, Belief revision, Game semantics, Dialogical logic |
| Subjects: | Logic |
| Depositing User: | Johannes Marti |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/546 |
Actions (login required)
 |
View Item |
