{"id":"arxiv/2603.05055","url":"https://arxiv.org/abs/2603.05055","tags":["cs.LO","math.LO"],"score":0,"title":"Modal Fragments","domain":"cs.LO","source":"arxiv","authors":["Nick Bezhanishvili","Balder ten Cate","Arunavo Ganguly","Arne Meier"],"reviews":0,"subject":"cs.LO","summary":"We survey systematic approaches to basis-restricted fragments of propositional logic and modal logics, with an emphasis on how expressive power and computational complexity depend on the allowed operators. The propositional case is well-established and serves as a conceptual template: Post's lattice organizes fragments via Boolean clones and supports complexity classifications for standard reasoning tasks. For modal fragments, we then bring together two historically independent lines of investigation: a general framework where modal fragments are parameterized by a basis of \"connectives\"…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-05","reactions":{}}