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

Daniel Danielski Emanuel Kieronski

Published in: CoRR (2018)

Keyphrases

probabilistic model
social networks
probability distribution
genetic programming
rough set theory