Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.

Fausto Giunchiglia Luciano Serafini Alex K. Simpson

Published in: META (1992)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
nonmonotonic reasoning
belief revision
computational properties
intuitionistic logic
search space
default logic