In 1985 Alchourrón, Gärdenfors and Makinson presented their now classic theory (ACM) of theory change (belief revision). In 1988 Adam Grove, generalizing David Lewis's theory of counterfactuals, presented a model theory suitable for the AGM theory. Although AGM and Grove mentioned object languages, ...
No comments yet
Be the first to share your thoughts!