{"id":"arxiv/2603.28402","url":"https://arxiv.org/abs/2603.28402","tags":["math.LO","cs.LO"],"score":0,"title":"Relational Semantics for Flat Heyting-Lewis Logic","domain":"math.LO","source":"arxiv","authors":["Jim de Groot","Tadeusz Litak"],"reviews":0,"subject":"math.LO","summary":"We introduce relational semantics for \"flat Heyting-Lewis logic\" HLC-flat. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality that, contrary to its \"sharp\" counterpart HLC-sharp, does not turn meets into joins in its first argument. We prove completeness and the finite model property for HLC-flat and for several extensions with additional axioms.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-30","reactions":{}}