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
TypeConference paper
TitleA game theoretical semantics for logics of nonsense
AuthorsBaskent, 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 GroupFoundations of Computing group
LanguageEnglish
ConferenceGandALF 2020
Page range66-81
EditorsRaskin, J. and Bresolin, D.
ISSN2075-2180
PublisherOpen Publishing Association
Publication dates
Online20 Sep 2020
Publication process dates
Deposited07 Mar 2022
Accepted03 Aug 2020
Output statusPublished
Publisher's version
License
Copyright Statement

© C. Baskent
This work is licensed under the Creative Commons Attribution License.

Digital Object Identifier (DOI)https://doi.org/10.4204/EPTCS.326.5
Book titleEPTCS 326: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF’20)
Permalink -

https://repository.mdx.ac.uk/item/89v36

Log in to edit

Download files

Publisher's version
2009.10878v1.pdf
License: CC BY 4.0

  • 27
    total views
  • 3
    total downloads
  • 1
    views this month
  • 0
    downloads this month

Export as

Related outputs

Paving the path: empowering women in STEM from university to industry
Vaka, S., Trestian, R., Baskent, C., Shayesteh, H. and Megeney, A. 2024. Paving the path: empowering women in STEM from university to industry. IEEE Global Engineering Education Conference. Kos, Greece 08 - 11 May 2024 IEEE.
Knowledge management for the micro enterprise: a taxonomy
Hall, S., Smith, S., Baskent, C. and De Raffaele, C. 2023. Knowledge management for the micro enterprise: a taxonomy. Matos, F. and Rosa, A. (ed.) 24th European Conference on Knowledge Management. Lisboa, Portugal 07 - 08 Sep 2023 Academic Conferences International. https://doi.org/10.34190/eckm.24.1.1268
An examination of counterexamples in proofs and refutations
Bagce, S. and Baskent, C. 2009. An examination of counterexamples in proofs and refutations. Philosophia Scientiae. https://doi.org/10.4000/philosophiascientiae.228
A formal approach to lakatosian heuristics
Baskent, C. 2012. A formal approach to lakatosian heuristics. Logique et Analyse. 55 (217), pp. 23-46.
Towards paraconsistent inquiry
Baskent, C. 2016. Towards paraconsistent inquiry. The Australian Journal of Logic. 13 (2), pp. 21-40. https://doi.org/10.26686/ajl.v13i2.2102
A non-classical logical approach to social software
Baskent, C. 2017. A non-classical logical approach to social software. in: Baskent, C., Moss, L. and Ramanujam, R. (ed.) Rohit Parikh on Logic, Language and Society Springer.
Topological semantics for da Costa paraconsistent logics Cω and C*ω
Baskent, C. 2015. Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, J., Chakraborty, M. and Dutta, S. (ed.) 5th World Congress on Paraconsistency (WCP 2014). Kolkata, India 13 - 17 Feb 2014 Springer, New Delhi. https://doi.org/10.1007/978-81-322-2719-9_19
A game theoretical semantics for a logic of formal inconsistency
Baskent, C. and Carrasqueira, P. 2018. A game theoretical semantics for a logic of formal inconsistency. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy068
Game theoretical semantics for some non-classical logics
Baskent, C. 2016. Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics. 26 (3), pp. 208-239. https://doi.org/10.1080/11663081.2016.1225488
A history based logic for dynamic preference updates
Baskent, C. and McCusker, G. 2019. A history based logic for dynamic preference updates. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-019-09307-1
A Yabloesque paradox in epistemic game theory
Baskent, C. 2018. A Yabloesque paradox in epistemic game theory. Synthese. 195 (1), pp. 441-464. https://doi.org/10.1007/s11229-016-1231-9
Some non-classical approaches to the Brandenburger–Keisler paradox
Baskent, C. 2015. Some non-classical approaches to the Brandenburger–Keisler paradox. Logic Journal of the IGPL. 23 (4), pp. 533-552. https://doi.org/10.1093/jigpal/jzv001
Game theoretical semantics for paraconsistent logics
Baskent, Can 2015. Game theoretical semantics for paraconsistent logics. van der Hoek, W., Holliday, W. and Wang, Wf. (ed.) LORI 2015: 5th International Workshop on Logic, Rationality and Interaction. Taipei, Taiwan 27 - 30 Oct 2015 Springer. pp. 14-26 https://doi.org/10.1007/978-3-662-48561-3_2
Some topological properties of paraconsistent models
Baskent, C. 2013. Some topological properties of paraconsistent models. Synthese. 190 (18), pp. 4023-4040. https://doi.org/10.1007/s11229-013-0246-8
On knowledge and obligation
Baskent, C., Olde Loohuis, L. and Parikh, R. 2012. On knowledge and obligation. Episteme. 9 (2), pp. 171-188. https://doi.org/10.1017/epi.2012.7
Public announcement logic in geometric frameworks
Baskent, C. 2012. Public announcement logic in geometric frameworks. Fundamenta Informaticae. 118 (3), pp. 207-223. https://doi.org/10.3233/FI-2012-710
A logic for strategy updates
Baskent, Can 2011. A logic for strategy updates. Ditmarsch, H., Lang, J. and Ju, S. (ed.) LORI 2011: 3rd International Workshop on Logic, Rationality and Interaction. Guangzhou, China 10 - 13 Oct 2011 Springer. pp. 382-383 https://doi.org/10.1007/978-3-642-24130-7_28