A Game Semantics for Grz

DOI10.1093/LOGCOM/EXL029MaRDI QIDQ3431966zbMATH OpenOpenAlexFDO

Authors Ilya Mezhirov

Publication date 13 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl029

zbMATH Keywords

dialogue gamesdialogue semanticsgame semanticsintuitionistic logicLorenzen's gamesLorenzen's semanticsmodal logic Grz

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Applications of game theory (91A80)

Recommendations

• A game semantics for system P
• Game-theoretic semantics for non-distributive logics
• Game logic -- an overview
• On Game Semantics of the Affine and Intuitionistic Logics
• Game theoretical semantics for paraconsistent logics

Cited in

(4)

• Surjective isometries of \(L^ 1 \cap L^ \infty [0, \infty )\) and \(L^ 1 + L^ \infty [0, \infty )\)
• Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD
• scientific article; zbMATH DE number 437512 (Why is no real title available?)
• A game semantics for system P

This page was built for publication: A Game Semantics for Grz

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