A new game theoretic semantics (GTS-2) for weak Kleene logics

DOI10.1007/S11225-024-10113-5MaRDI QIDQ6642828zbMATH OpenFDO

Authors Massimiliano Carrara, F. Mancini, Michele Pra Baldi, Wei Zhu

Publication date 25 November 2024

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11225-024-10113-5

zbMATH Keywords

game theoretical semanticslogics of variable inclusionweak Kleene logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A logic for a critical attitude?
• An epistemic interpretation of paraconsistent weak Kleene logic
• Characterizing logical consequence in paraconsistent weak Kleene
• Computational Errors and Suspension in a PWK Epistemic Agent
• Conjunction in paraconsistent weak Kleene logic
• Extensions of paraconsistent weak Kleene logic
• Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3--7, 2014. Proceedings
• Game theoretical semantics for some non-classical logics
• scientific article; zbMATH DE number 3700784 (Why is no real title available?)
• scientific article; zbMATH DE number 3472024 (Why is no real title available?)
• scientific article; zbMATH DE number 1989647 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• Logic, epistemology, and the unity of science
• Logics of variable inclusion
• Meaningless divisions
• Off-topic: a new interpretation of weak Kleene logic
• On a three-valued logical calculus and its application to the analysis of contradictions.
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• On semantic games for Łukasiewicz logic
• Proof theory of paraconsistent weak Kleene logic
• Semantical analysis of weak Kleene logics
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Theories of truth based on four-valued infectious logics
• Towards a logic of significance. I: The sentential basis
• Why play logical games?

This page was built for publication: A new game theoretic semantics (GTS-2) for weak Kleene logics

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