Game theoretical semantics for paraconsistent logics

DOI10.1007/978-3-662-48561-3_2zbMATH Open1471.03057OpenAlexW2293011684MaRDI QIDQ3457682FDOQ3457682

Authors: Can Başkent 

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_2

Recommendations

• Game theoretical semantics for some non-classical logics
• A game semantics for system P
• Game-theoretic semantics for non-distributive logics
• scientific article; zbMATH DE number 2236605
• Game theoretical semantic for relevant logic

Mathematics Subject Classification ID

Applications of game theory (91A80) Paraconsistent logics (03B53)

Cites Work

• The logic of paradox
• Independence-friendly logic. A game-theoretic approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the theory of inconsistent formal systems
• An introduction to non-classical logic. From if to is
• The Semantics of First Degree Entailment
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and games: Propositional logic
• Between proof and truth
• Three-valued logics in modal logic
• First degree entailments
• Title not available (Why is that?)
• Games as formal tools versus games as explanations in logic and science
• Title not available (Why is that?)
• Classical negation and game-theoretical semantics
• Title not available (Why is that?)

Cited In (14)

• Title not available (Why is that?)
• Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
• A Game Semantics for Grz
• Game-theoretic semantics for non-distributive logics
• Parity Games and Propositional Proofs
• Game theoretical semantics for some non-classical logics
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• Finite games for a predicate logic without contractions
• Truth in dialogue logic and game-theoretical semantics (GTS)
• Automated Reasoning with Analytic Tableaux and Related Methods
• Parity Games and Propositional Proofs
• The Parallel Intensionally Fully Abstract Games Model of PCF
• A parallel game semantics for linear logic
• The Ceteris Paribus Structure of Logics of Game Forms

This page was built for publication: Game theoretical semantics for paraconsistent logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457682)