First-order logic with counting

    LICS, pp. 1-12, 2017.

    Cited by: 10|Bibtex|Views1|Links
    EI

    Abstract:

    We introduce the logic FOCN(ℙ) which extends first-order logic by counting and by numerical predicates from a set ℙ, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature.

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments