A game theoretical semantics for logics of nonsense

Baskent, Can ORCID logoORCID: 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)

[img]
Preview
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 View Item

Statistics

Activity Overview
6 month trend
57Downloads
6 month trend
12Hits

Additional statistics are available via IRStats2.