A game theoretical semantics for logics of nonsense
Baskent, Can 
ORCID: https://orcid.org/0000-0001-6229-8699
(2020)
A game theoretical semantics for logics of nonsense.
Raskin, Jean-Francois and Bresolin, Davide, eds.
EPTCS 326: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF’20).
In: GandALF 2020, 21-22 Sept 2020, Brussels, Belgium [Online event].
.
ISSN 2075-2180
[Conference or Workshop Item]
(doi:10.4204/EPTCS.326.5)
|
PDF
- Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0. Download (171kB) | Preview |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 34842 |
| Notes on copyright: | © C. Baskent
This work is licensed under the Creative Commons Attribution License. |
| Useful Links: | |
| Depositing User: | Can Baskent |
| Date Deposited: | 07 Mar 2022 16:07 |
| Last Modified: | 29 Nov 2022 18:16 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/34842 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)