Finite variable logics.

Ian M. Hodkinson

Published in: Bull. EATCS (1993)

Keyphrases

expressive power
inference rules
modal logic
valued logic
artificial intelligence
finite number
conditional logic
information retrieval
relational databases
fuzzy logic
epistemic logic
proof theory
unit length