Authors
Justine Jacot
Lund University
Abstract
We describe a class of semantic extensive entailment game with algorithmic players, related to game-theoretic semantics, and generalized to classical first-order semantic entailment. Players have preferences for parsimonious spending of computational resources, and compute partial strategies, under qualitative uncertainty about future histories. We prove the existence of local preferences for moves, and strategic fixpoints, that allow to map eeg game-tree to the building rules and closure rules of Smullyan's semantic tableaux. We also exhibit a strategy profile that solves the fixpoint selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We conclude on possible generalizations of our games.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,060
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
First-Order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Logical Dialogues with Explicit Preference Profiles and Strategy Selection.Emmanuel Genot & Justine Jacot - 2017 - Journal of Logic, Language and Information 26 (3):261-291.
Conventional Semantic Meaning in Signalling Games with Conflicting Interests.Elliott O. Wagner - 2015 - British Journal for the Philosophy of Science 66 (4):751-773.
Mating Strategies as Game Theory: Changing Rules?Linda Mealey - 2000 - Behavioral and Brain Sciences 23 (4):613-613.
Mindreading and Endogenous Beliefs in Games.Lauren Larrouy & Guilhem Lecouteux - 2017 - Journal of Economic Methodology 24 (3):318-343.
Pre-Game Cheating and Playing the Game.Alex Wolf-Root - 2018 - Sport, Ethics and Philosophy 13 (3-4):334-347.
Comparing the Power of Games on Graphs.Ronald Fagin - 1997 - Mathematical Logic Quarterly 43 (4):431-455.
Robust Program Equilibrium.Caspar Oesterheld - 2019 - Theory and Decision 86 (1):143-159.

Analytics

Added to PP index
2020-01-13

Total views
2 ( #1,364,831 of 2,403,696 )

Recent downloads (6 months)
1 ( #550,229 of 2,403,696 )

How can I increase my downloads?

Downloads

My notes