{"id":"arxiv/2608.29708","url":"https://arxiv.org/abs/2608.29708","tags":["math.LO"],"score":0,"title":"Intuitionistic and Constructive Modal Logics for Classical Modal Logicians","domain":"math.LO","source":"arxiv","authors":["Yuta Sato"],"reviews":0,"subject":"math.LO","summary":"This paper gives a survey of propositional modal logic in an intuitionistic setting. Mainly intended for readers already familiar with classical modal logic, we discuss why there are two prominent families of such logics, intuitionistic modal logics (IMLs) and constructive modal logics (CMLs), what motivates their study, and how they compare with each other. We then take a look at the logics lying between the CML and IML traditions, and survey various extensions and $\\Diamond$/$\\Box$-free fragments. We further record several observations which seem to be implicit or absent in the literature;…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-30","reactions":{}}