A Game Theoretical Semantics for Logics of Nonsense

Can Başkent
(Department of Computer Science, Middlesex University, London)

In this paper, we present a game theoretical semantics for three valued Bochvar-Halldén Systems. Often called "logics of nonsense", these logics have gained a recent interest. While building semantic games for logics of nonsense, we introduce dominant strategies into game semantics. Consequently, we extend these logics by means of game theoretical methods in order to engineer four-valued logics of nonsense, which conservatively extends the three valued systems. We also apply our approach to another well-known three-valued logic, Priest's Logic of Paradox to obtain another game semantics for it.

In Jean-Francois Raskin and Davide Bresolin: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), Brussels, Belgium, September 21-22, 2020, Electronic Proceedings in Theoretical Computer Science 326, pp. 66–81.
Published: 20th September 2020.

ArXived at: https://dx.doi.org/10.4204/EPTCS.326.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org