Two-variable Logic with a Between Relation

DOI10.1145/2933575.2935308zbMath1394.03011arXiv1603.05625MaRDI QIDQ4635866

Kamal Lodaya, Andreas Krebs, Howard Straubing, Paritosh K. Pandya

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/1603.05625

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03D05: Automata and formal grammars in connection with logical questions

68Q70: Algebraic theory of languages and automata

03B44: Temporal logic

03B20: Subsystems of classical logic (including intuitionistic logic)