Alvaro del Val Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches. 1997 7 Journal of Applied Non-Classical Logics 2 db/journals/jancl/jancl7.html#Val97