A game theoretical semantics for a logic of formal inconsistency-Reference-Cited by-同舟云学术

A game theoretical semantics for a logic of formal inconsistency

Published:2018-11-29 Issue:5 Volume:28 Page:936-952
ISSN:1367-0751
Container-title:Logic Journal of the IGPL
language:en
Short-container-title:

Author:

Başkent Can¹,Henrique Carrasqueira Pedro²

Affiliation:

1. Department of Computer Science, University of Bath, England

2. Center for Logic, Epistemology and the History of Science (CLE), Institute of Philosophy and the Humanities (IFCH), State University of Campinas (UNICAMP), Campinas, Brazil

Abstract

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

Funder

University of Baths International Research Initiator Scheme

Publisher

Oxford University Press (OUP)

Subject

Logic

Link

http://academic.oup.com/jigpal/article-pdf/28/5/936/33791662/jzy068.pdf

Reference19 articles.

1. Non-deterministic semantics for logical systems;Avron,2011

2. Game theoretical semantics for paraconsistent logics.;Başkent;Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (LORI-5),2015

3. Game theoretical semantics for some non-classical logics;Başkent;Journal of Applied Non-Classical Logics,2016

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Truth diagrams for some non-classical and modal logics;Journal of Applied Non-Classical Logics;2024-07-04

2. Playing Games with Diagrams: Truth Diagrams and Game Semantics;Lecture Notes in Computer Science;2024

3. A Game Theoretical Semantics for Logics of Nonsense;Electronic Proceedings in Theoretical Computer Science;2020-09-20