Game-theoretic semantics for non-distributive logics

DOI10.1093/JIGPAL/JZY079MaRDI QIDQ5241925zbMATHOpenAlexFDO

Authors Chrysafis Hartonas

Publication date 4 November 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzy079

zbMATH Keywords

game-theoretic semanticsnon-distributive logicsgames for logics of modal lattices

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10)

Recommendations

• Game theoretical semantics for some non-classical logics
• Game theoretical semantics for paraconsistent logics
• Game semantics for non-monotonic intensional logic programming
• Game semantics for non-monotonic intensional logic programming
• Non-regular fixed-point logics and games
• A game theoretical semantics for a logic of formal inconsistency
• A game semantics for linear logic
• Game semantics for constructive modal logic
• scientific article; zbMATH DE number 794261
• Game semantics for first-order logic

Cited in

(17)

• scientific article; zbMATH DE number 1932899 (Why is no real title available?)
• A Game Semantics for Grz
• Classical negation and game-theoretical semantics
• The Ceteris Paribus Structure of Logics of Game Forms
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Game theoretical semantic for relevant logic
• scientific article; zbMATH DE number 5734939 (Why is no real title available?)
• Non-angelic concurrent game semantics
• Finite games for a predicate logic without contractions
• A parallel game semantics for linear logic
• scientific article; zbMATH DE number 1342276 (Why is no real title available?)
• Game theoretical semantics for some non-classical logics
• On semantic gamification
• A game semantics for system P
• Game theoretical semantics for paraconsistent logics
• Representation of game algebras
• Game Semantics for the Geiger-Paz-Pearl Axioms of Independence

This page was built for publication: Game-theoretic semantics for non-distributive logics

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