On orderings of the family of all logics.

Michal Krynicki Jouko Väänänen

Published in: Arch. Math. Log. (1980)

Keyphrases

expressive power
special case
propositional calculus
databases
modal logic
inference rules
feature selection
image segmentation
nonmonotonic logics