Two-variable first order logic with counting quantifiers: complexity results

DOI10.1007/978-3-319-62809-7_19zbMath1494.03080OpenAlexW2739419269MaRDI QIDQ2408808

A. V. Sreejith, Kamal Lodaya

Publication date: 13 October 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-62809-7_19

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (2)

``Most of leads to undecidability: failure of adding frequencies to LTL ⋮ Unnamed Item

This page was built for publication: Two-variable first order logic with counting quantifiers: complexity results