A game theoretical semantics for a logic of formal inconsistency

Baskent, Can ORCID logoORCID: https://orcid.org/0000-0001-6229-8699 and Carrasqueira, Pedro Henrique (2018) A game theoretical semantics for a logic of formal inconsistency. Logic Journal of the IGPL . ISSN 1367-0751 [Article] (Published online first) (doi:10.1093/jigpal/jzy068)

[img]
Preview
 PDF - Final accepted version (with author's formatting)
Download (595kB) | Preview

Abstract

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

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 28853
Notes on copyright: This is a pre-copyedited, author-produced version of an article accepted for publication in Logic Journal of the IGPL following peer review. The version of record Can Başkent, Pedro Henrique Carrasqueira, A game theoretical semantics for a logic of formal inconsistency, Logic Journal of the IGPL, , jzy068, is available online at: https://doi.org/10.1093/jigpal/jzy068
Useful Links:
Depositing User: Can Baskent
Date Deposited: 24 Jan 2020 10:03
Last Modified: 29 Nov 2022 19:28
URI: https://eprints.mdx.ac.uk/id/eprint/28853

Actions (login required)

View Item View Item

Statistics

DownloadsShow export options
Activity Overview
6 month trend
215Downloads
6 month trend
117Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)