Mutual Irreducibility of Revision and Multiple Revision

Sebastian RudolphSebastian Rudolph, Kai SauerwaldKai Sauerwald

ISBN: 978-3-032-21539-0
Download
DOI Link

Sebastian Rudolph, Kai Sauerwald
Mutual Irreducibility of Revision and Multiple Revision
In Anni-Yasmin Turhan, Jonni Virtema, eds., Foundations of Information and Knowledge Systems – 14th International Symposium (FoIKS 2026), volume 16475 of LNCS, 121-133, 2026. Springer

Details
Bibtex

KurzfassungAbstract
We show that revision by single sentences and multiple revision are, in general, mutually irreducible processes. The result is given for revision in base logics, a framework for studying revision in arbitrary classical logics for various notions of bases. Within this framework, we demonstrate that revision by single sentences can not be represented as multiple revision. The result employs general relational semantics for base revision. In combination with the well-known result that multiple revision cannot be reduced to sentence revision, we obtain that sentence revision and multiple revision are mutually irreducible.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-032-21540-6_8.

@inproceedings{RS2026,
  author    = {Sebastian Rudolph and Kai Sauerwald},
  title     = {Mutual Irreducibility of Revision and Multiple Revision},
  editor    = {Anni-Yasmin Turhan and Jonni Virtema},
  booktitle = {Foundations of Information and Knowledge Systems {\textendash}
               14th International Symposium (FoIKS 2026)},
  series    = {LNCS},
  volume    = {16475},
  publisher = {Springer},
  year      = {2026},
  pages     = {121-133},
  doi       = {10.1007/978-3-032-21540-6_8}
}