An Overview of Interpretability Logic.

Published in: Advances in Modal Logic (1996)

Keyphrases

computational properties
classical logic
real world
prediction accuracy
logic programs
modal logic
multi valued
logical framework
databases
clustering algorithm
logic programming
current status
probabilistic logic
formal theory
deontic logic