Two Variable Logic with Ultimately Periodic Counting.

Michael Benedikt Egor V. Kostylev Tony Tan

Published in: SIAM J. Comput. (2024)

Keyphrases

classical logic
modal logic
proof theory
data sets
predicate logic
bayesian networks
logic programming
probability theory
automated reasoning
computational properties
genetic algorithm
multi valued
digital circuits
formal theory
epistemic logic
sound and complete axiomatization