Two-variable logics with counting and semantic constraints

    SIGLOG News, Volume 5, Issue 3, 2018, Pages 22-43.

    Cited by: 0|Bibtex|Views0|Links
    EI

    Abstract:

    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.

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments