A game theoretical semantics for a logic of formal inconsistency

&
Logic Journal of the IGPL 28 (5):936-952 (2020)
  Copy   BIBTEX

Abstract

This paper introduces a game theoretical semantics for a particular logic of formal inconsistency called mbC.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy068

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Comments on J. Hintikka's paper: "Game-theoretical semantics: insights and prospects".James Higginbotham - 1982 - Notre Dame Journal of Formal Logic 23 (3):263-271.
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ mbC.Szymon Chlebowski, Andrzej Gajda & Mariusz Urbański - 2021 - Studia Logica 110 (2):479-509.
Other and else : restrictions on quantifier domains in game-theoretical semantics.Michael Hand - 1987 - Notre Dame Journal of Formal Logic 28 (3):423-430.
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi & Wei Zhu - forthcoming - Studia Logica:1-25.
Game-Theoretic Semantics.Jk Gts Hintikka & G. Sandu - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
Game-theoretical semantics for Peirce's existential graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
Introducing consistency in a dialogical framework for paraconsistent logic.Eduardo Alejandro Barrio, Nicolas Clerbout & Shahid Rahman - 2020 - Logic Journal of the IGPL 28 (5):953-972.
Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.

Analytics

Added to PP
2019-10-27

Downloads
16 (#905,992)

6 months
3 (#1,208,233)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Can Başkent
Middlesex University
Pedro Carrasqueira
Unicamp

Citations of this work

No citations found.

Add more citations

References found in this work

Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.

View all 9 references / Add more references