A Game Semantics for Grz

DOI10.1093/LOGCOM/EXL029zbMath1122.03014OpenAlexW2109040845MaRDI QIDQ3431966

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

intuitionistic logicdialogue gamesgame semanticsdialogue semanticsLorenzen's gamesLorenzen's semanticsmodal logic Grz

Mathematics Subject Classification ID

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

Related Items (2)

Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ Surjective isometries of \(L^ 1 \cap L^ \infty [0, \infty )\) and \(L^ 1 + L^ \infty [0, \infty )\)

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