Two-variable logics with counting and semantic constraints
Emanuel Kieroński, Ian E. Pratt-Hartmann, Lidia Tendera · ACM SIGLOG News · 2018
In this article we discuss fragments and extensions of two-variable logics motivated by practical applications. We outline the decidability frontier, describing some of the techniques developed for deciding satisfiability and finite satisfiability, as well as characterizing their complexity.