{"id":"arxiv/2602.01216","url":"https://arxiv.org/abs/2602.01216","tags":["math.LO"],"score":0,"title":"A Class of Generalised Quantifiers for k-Variable Logics","domain":"math.LO","source":"arxiv","authors":["Janek Härtter","Martin Otto"],"reviews":0,"subject":"math.LO","summary":"We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expressive and encompasses e.g. the k-variable fragments of first-order logic, modal logic, and monotone neighbourhood semantics. We introduce a corresponding notion of bisimulation and prove variants of the classical Ehrenfeucht-Fraisse and Hennessy-Milner theorem. Finally, we show a Lindstrom-style characterisation for k-quantifier logics that satisfy Los' theorem by proving that they are the unique maximally…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-01","reactions":{}}