On Semantic Gamification

In S. Ghosh & S. Prasad (eds.), Logic and its Applications, Lecture Notes in Computer Science 10119. Springer (2017)
  Copy   BIBTEX

Abstract

The purpose of this essay is to study the extent in which the semantics for different logical systems can be represented game theoretically. I will begin by considering different definitions of what it means to gamify a semantics, and show completeness and limitative results. In particular, I will argue that under a proper definition of gamification, all finitely algebraizable logics can be gamified, as well as some infinitely algebraizable ones (like Łukasiewicz) and some non-algebraizable (like intuitionistic and van Fraassen supervaluation logic).

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
Gamification of Labor and the Charge of Exploitation.Tae Wan Kim - 2018 - Journal of Business Ethics 152 (1):27-39.
Algebraization of Non-structural Logics.Sergio Munoz-Venegas - 2006 - Logic Journal of the IGPL 14 (6):845-866.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155-170.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.

Analytics

Added to PP
2019-11-03

Downloads
133 (#127,987)

6 months
41 (#83,151)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ignacio Ojea Quintana
Ludwig Maximilians Universität, München

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references