Syntactical investigations into BI logic and BB'I logic.

Published in: Stud Logica (1994)

Keyphrases

modal logic
logic programming
multi valued
classical logic
data mining
knowledge base
logical framework
databases
search algorithm
business intelligence
predicate logic
epistemic logic
proof theory
sound and complete axiomatization