Succinctness of Order-Invariant Logics on Depth-Bounded Structures

DOI10.1145/3152770zbMath1407.03002arXiv1603.09055OpenAlexW2964232764MaRDI QIDQ4608722

Kord Eickmeyer, Frederik Harwath, Michael Elberfeld

Publication date: 22 March 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.09055

zbMATH Keywords

first-order logicmonadic second-order logicexpressivitytree-depthsuccinctnessorder-invariance

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Succinctness of Order-Invariant Logics on Depth-Bounded Structures