Game theoretical semantics for paraconsistent logics

DOI10.1007/978-3-662-48561-3_2MaRDI QIDQ3457682zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(16)

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

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)