Splitting lattices of logics.

Wolfgang Rautenberg

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

Keyphrases

expressive power
modal logic
inference rules
propositional calculus
database
epistemic logic
real time
multiscale
relational databases
similarity measure
decision trees
learning algorithm
concept lattice
classical logic
decision procedures
conditional logic
proof theory