Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
System of spheres-based multiple contractions
2012
FR12
We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.
Journal
Eduardo Fermé, Maurıcio D. L. Reis
Journal of Philosophical Logic
Springer
-
41
1
29-52
-
0022-3611
-
http://www.springerlink.com/content/c2335479u4536373/
Export formats
Eduardo Fermé and Maurıcio D. L. Reis, System of spheres-based multiple contractions, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 29-52, Springer, ISSN 0022-3611, (http://www.springerlink.com/content/c2335479u4536373/), 2012.
<b><a href="/people/members/view.php?code=2cfdf6eb6e4ec2815c3dc908c50509c9" class="author">Eduardo Fermé</a> and <a href="/people/members/view.php?code=1283de83907ae5820df7ebe064ed4946" class="author">Maurıcio D. L. Reis</a></b>, <u>System of spheres-based multiple contractions</u>, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 29-52, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, ISSN 0022-3611, (<a href="http://www.springerlink.com/content/c2335479u4536373/" target="_blank">url</a>), 2012.
@article {FR12, author = {Eduardo Ferm{\'e} and Maurıcio D. L. Reis}, title = {System of spheres-based multiple contractions}, journal = {Journal of Philosophical Logic}, publisher = {Springer}, volume = {41}, number = {1}, pages = {29-52}, issn = {0022-3611}, url = {http://www.springerlink.com/content/c2335479u4536373/}, abstract = {We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.}, keywords = {Belief change – Theory contraction – Multiple contraction – Possible worlds semantics – System of spheres}, year = {2012}, }
Publication's urls
/publications/view.php?code=97a5b43afd1405c4a8d3ea76f2a9cd83
/publications/view.php?code=FR12
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT