Two-variable logics with counting and semantic constraints
SIGLOG News, Volume 5, Issue 3, 2018, Pages 22-43.
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.
Full Text (Upload PDF)
PPT (Upload PPT)