An axiomatic characterization of ensconcement-based contraction

Fermé, E.; Krevneris, M.; Reis, M.

http://hdl.handle.net/10400.13/3452

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
An axiomatic characterization of ensconcement-based contraction.pdf		147.99 KB	Adobe PDF	Download

Send Feedback

Authors

Fermé, E.

Krevneris, M.

Reis, M.

Abstract(s)

In this article, we propose an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed by Williams. We relate this function with other kinds of base contraction functions.

Keywords

Logic of theory change Belief bases Base contraction Ensconcement . Faculdade de Ciências Exatas e da Engenharia

URI

http://hdl.handle.net/10400.13/3452

Citation

Fermé, E., Krevneris, M., & Reis, M. (2008). An axiomatic characterization of ensconcement-based contraction. Journal of Logic and Computation, 18(5), 739-753.