Minimal Change in AGM Revision for Non-Classical Logics

Ribeiro, Marcio Moretto (University of São Paulo) | Wassermann, Renata (University of São Paulo)

AAAI Conferences 

In this paper, we address the problem of applying AGM-style belief revision  to non-classical logics. We discuss the idea of minimal change in revision and show that for non-classical logics, some sort of minimality postulate has to be explicitly introduced. We also present two constructions for revision which satisfy the AGM postulates and prove the representation theorems including minimality postulates.

Duplicate Docs Excel Report

Title
None found

Similar Docs  Excel Report  more

TitleSimilaritySource
None found