Two Variable Logic with Ultimately Periodic Counting.

Michael Benedikt Egor V. Kostylev Tony Tan

Published in: ICALP (2020)

Keyphrases

classical logic
logic programming
automated reasoning
modal logic
multi valued
data sets
case study
knowledge representation
predicate logic
proof theory
real world
information systems
nonmonotonic logics