Possible worlds semantics for partial meet multiple contraction

Reis, Maurício D. L.; Fermé, Eduardo

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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
Possible Worlds Semantics for Partial Meet Multiple Contractiont.pdf		398.09 KB	Adobe PDF	Download

Send Feedback

Authors

Reis, Maurício D. L.

Fermé, Eduardo

Abstract(s)

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this paper we present the possible worlds semantics for partial meet multiple contractions.