Giving a full picture of GTS for all paraconsistent logics goes beyond the limits of this article. Some well-studied logics such as da Costa's C-systems and LFIs (Brazilian School), 4-valued Belnap logic, the modal extensions of the logics we presented, and the preservationist approach (Canadian School) are the natural next steps of this project. The current work can be seen as a case for logical pluralism. The classical GTS is essentially a very narrow and limited case with many additional and auxiliary game theoretical and logical presuppositions. Once those assumptions are set aside (or at least questioned) for various reasons, GTS turns out to be expressive enough for a variety of non-classical logics as we have exemplified.
展开▼
