Order-Invariance of Two-Variable Logic is Decidable

DOI10.1145/2933575.2933594zbMath1394.03017arXiv1604.05843OpenAlexW2335953814WikidataQ130847046 ScholiaQ130847046MaRDI QIDQ4635945

Thomas Zeume, Frederik Harwath

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

linear ordertwo-variable logicfinite satisfiabilitysuccessor relationorder invariance

Mathematics Subject Classification ID

Related Items (2)

Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable ⋮ Unnamed Item

This page was built for publication: Order-Invariance of Two-Variable Logic is Decidable