Game theoretical semantics for some non-classical logics

DOI10.1080/11663081.2016.1225488zbMath1398.03136OpenAlexW2515579183MaRDI QIDQ4586163

Can Başkent

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://eprints.mdx.ac.uk/28852/1/gamsem.pdf

zbMATH Keywords

relevant logicfirst-degree entailmentlogic of paradoxconnexive logicgame theoretical semanticsmodal logic S5Belnap's four-valued logic B4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items

Unnamed Item, \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Between proof and truth
• Three-valued logics in modal logic
• Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
• First degree entailments
• The logic of paradox
• Games as formal tools versus games as explanations in logic and science
• Many-dimensional modal logics: theory and applications
• Paraconsistent logic from a modal viewpoint
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Classical negation and game-theoretical semantics
• On the theory of inconsistent formal systems
• Game Theoretical Semantics for Paraconsistent Logics
• A Modal Logic for Coalitional Power in Games
• Logical Pluralism
• LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS
• The Semantics of First Degree Entailment
• Connexive implication
• On systems containing Aristotle's thesis
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Partiality and games: propositional logic