Positive fragments of coalgebraic logics.

Adriana Balan Alexander Kurz Jiri Velebil

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

positive and negative
expressive power
modal logic
multiscale
propositional calculus
data mining
feature selection
search algorithm
belief revision
inference rules
situation calculus
conditional logic
proof theory
horizontal fragmentation