{"id":"arxiv/2605.00523","url":"https://arxiv.org/abs/2605.00523","tags":["math.LO","cs.LO"],"score":0,"title":"Intuitionistic Common Knowledge","domain":"math.LO","source":"arxiv","authors":["Lukas Zenger"],"reviews":0,"subject":"math.LO","summary":"We study an intuitionistic version of common knowledge logic (CK), called ICK, which was introduced by Jäger and Marti. ICK extends intuitionistic propositional logic (IPL) by multiple box modalities interpreted as knowledge operators for various agents and a common knowledge operator. Formulae are interpreted over birelational Kripke models satisfying a simple interaction principle between the intuitionistic order and the modal accessibility relations. Furthermore, we consider the restriction to reflexive, S4 and S5 models. We present axiomatizations as well as analytic cyclic sequent…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-01","reactions":{}}