Unary negation fragment with equivalence relations has the finite model property.

Daniel Danielski Emanuel Kieronski

Published in: LICS (2018)

Keyphrases

probabilistic model
desirable properties
genetic programming
machine learning
information systems
markov chain
equivalence relation