Game-theoretic semantics for non-distributive logics

DOI10.1093/JIGPAL/JZY079zbMATH Open1494.03073OpenAlexW2914636996MaRDI QIDQ5241925FDOQ5241925

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

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

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)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation of game algebras
• Title not available (Why is that?)
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
• A Game Semantics for Grz
• Non-angelic concurrent game semantics
• Finite games for a predicate logic without contractions
• A parallel game semantics for linear logic
• The Ceteris Paribus Structure of Logics of Game Forms

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)