{"id":"arxiv/2607.18956","url":"https://arxiv.org/abs/2607.18956","tags":["math.LO"],"score":0,"title":"Definable Classes of Models and Frames in Bi-intuitionistic Logic","domain":"math.LO","source":"arxiv","authors":["Guillermo Badia","Tomasz Kowalski","Grigory Olkhovikov"],"reviews":0,"subject":"math.LO","summary":"The question of the expressive power of a given logical language with Kripke relational semantics has at least two dimensions: (1) what the language can say about frames, and (2) what it can say about models. The Goldblatt-Thomason theorem provides a model-theoretic characterisation of modal axiomatisability for elementary classes of frames in terms of closure under taking generated subframes, disjoint unions, bounded morphic images, and reflection of ultrafilter extensions. Goldblatt also provides a similar characterisation for axiomatisability in intuitionistic logic of classes of models…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-21","reactions":{}}