On the formal characterization of the FORTE_MBC theory revision operators.
In: Journal of Logic & Computation, Jg. 27 (2017-12-01), Heft 8, S. 2551-2580
Online
academicJournal
Zugriff:
Titel: |
On the formal characterization of the FORTE_MBC theory revision operators.
|
---|---|
Autor/in / Beteiligte Person: | DUBOC, ANA LUÍSA ; PAES, ALINE ; ZAVERUCHA, GERSON |
Link: | |
Zeitschrift: | Journal of Logic & Computation, Jg. 27 (2017-12-01), Heft 8, S. 2551-2580 |
Veröffentlichung: | 2017 |
Medientyp: | academicJournal |
ISSN: | 0955-792X (print) |
DOI: | 10.1093/logcom/exx015 |
Sonstiges: |
|