Possible Worlds Semantics for Partial Meet Multiple Contraction |
| |
| Authors: | Maurício D. L. Reis Eduardo Fermé |
| |
| Affiliation: | 1. Centro de Ci??ncias Exactas e da Engenharia and Madeira Interactive Technologies Institute, Universidade da Madeira, Campus Universit??rio da Penteada, 9020-105, Funchal, Portugal
2. Madeira Interactive Technologies Institute, Universidade da Madeira, Funchal, Portugal
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
