Bounded variable logics: Two, three, and more

DOI10.1007/s001530050127zbMath0933.03039OpenAlexW2062083196MaRDI QIDQ1306792

Martin Otto

Publication date: 5 October 1999

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050127

zbMATH Keywords

finite model theorybisimulation equivalence\(k\)-variable fragments of infinitary logicbounded variable logicsfixed-point logic with counting

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Other infinitary logic (03C75) Descriptive complexity and finite models (68Q19)

Related Items (2)

On logics with two variables ⋮ Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus

This page was built for publication: Bounded variable logics: Two, three, and more