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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,169

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

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 - 2024 - Studia Logica 112 (6):1439-1463.
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.
Game-theoretical semantics for Peirce's existential graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
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
25 (#749,414)

6 months
10 (#310,825)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Can Başkent
Middlesex University
Pedro Carrasqueira
Unicamp

Citations of this work

Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4):527-560.
Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4).

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.
Semantics of Non-deterministic Character for LFIs.Marcelo Coniglio & Walter Carnielli - 2016 - In Walter Carnielli & Marcelo Esteban Coniglio (eds.), Paraconsistent Logic: Consistency, Contradiction and Negation. Basel, Switzerland: Springer International Publishing.

View all 10 references / Add more references