A game theoretical semantics for logics of nonsense
Conference paper
Baskent, C. 2020. A game theoretical semantics for logics of nonsense. Raskin, J. and Bresolin, D. (ed.) GandALF 2020. Brussels, Belgium [Online event] 21 - 22 Sep 2020 Open Publishing Association. pp. 66-81 https://doi.org/10.4204/EPTCS.326.5
Type | Conference paper |
---|---|
Title | A game theoretical semantics for logics of nonsense |
Authors | Baskent, C. |
Abstract | Logics of non-sense allow a third truth value to express propositions that are nonsense. These logics are ideal formalisms to understand how errors are handled in programs and how they propagate throughout the programs once they appear. In this paper, we give a Hintikkan game semantics for logics of non-sense and prove its correctness. We also discuss how a known solution method in game theory, the iterated elimination of strictly dominated strategies, relates to semantic games for logics of nonsense. Finally, we extend the logics of nonsense only by means of semantic games, developing a new logic of nonsense, and propose a new game semantics for Priest’s Logic of Paradox. |
Research Group | Foundations of Computing group |
Conference | GandALF 2020 |
Page range | 66-81 |
Editors | Raskin, J. and Bresolin, D. |
ISSN | 2075-2180 |
Publisher | Open Publishing Association |
Publication dates | |
Online | 20 Sep 2020 |
Publication process dates | |
Deposited | 07 Mar 2022 |
Accepted | 03 Aug 2020 |
Output status | Published |
Publisher's version | License |
Copyright Statement | © C. Baskent |
Digital Object Identifier (DOI) | https://doi.org/10.4204/EPTCS.326.5 |
Language | English |
Book title | EPTCS 326: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF’20) |
https://repository.mdx.ac.uk/item/89v36
Download files
45
total views8
total downloads0
views this month0
downloads this month