Axiomatizing logics closely related to varieties.

Wolfgang Rautenberg

Published in: Stud Logica (1991)

Keyphrases

closely related
modal logic
expressive power
np hard
inference rules
nonmonotonic logics
propositional dynamic logic
feature selection
knowledge base
objective function
computational complexity
feature types
individual objects