2 papers
cs.AI2002
Belief Revision and Rational Inference
Michael Freund, Daniel Lehmann
The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different th…
cs.AI2002
Nonmonotonic inference operations
Michael Freund, Daniel Lehmann
A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In…