Two variable logic with ultimately periodic counting.

Michael Benedikt Egor V. Kostylev Tony Tan

Published in: CoRR (2020)

Keyphrases

logic programming
multi valued
modal logic
real world
classical logic
decision trees
formal theory
np complete
deductive reasoning
proof theory
predicate logic
computational properties
programming language
search algorithm
case study
website
artificial intelligence