Publisher
Springer Science and Business Media LLC
Reference23 articles.
1. Li W. An open logic system. Sci China Ser A, 1992, 36: 362–375
2. Li W. Mathematical Logic-Foundations for Information Science. Basel: Birkhauser Verlag, 2010. 45–185
3. Alchourron C E, Gardenfors R, Makinson D. On the logic of theory change: partial meet contraction and revision functions. J Symbolic Logic, 1985, 50: 510–530
4. Benthem J. Dynamic logic for belief revision. J Appl Non-Classical Logics, 2007, 17: 129–155
5. Luo J, Li W. An algorithm to compute maximal contractions for Horn clauses. Sci China Inf Sci, 2011, 54: 244–257