Bounded variable logics: Two, three, and more

DOI10.1007/S001530050127MaRDI QIDQ1306792zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(4)

• Dimension Versus Number of Variables, and Connectivity, too
• On logics with two variables
• scientific article; zbMATH DE number 979011 (Why is no real title available?)
• Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306792)