Epistemic Entrenchment and Arthmetical Hierarchy (Abstract).

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

higher level
abstraction hierarchy
high level
hierarchical structure
lower level
epistemic logic
data sets
information retrieval
information systems
multiscale
learning environment
search algorithm
low level
inference rules
hierarchical organization
propositional dynamic logic