Abstract
Since many non-classical logics are not necessarily closed under negation, we need constructions for belief base revision that do not depend on this assumption. In this chapter, we present a list of six constructions for revision that do not depend on negation. Each construction is characterized by a set of postulates. Furthermore, the representation theorems that prove these characterizations hold in any compact logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Carlos Alchourrón and David Makinson. Hierarchies of regulation and their logic. In Hilpinen, editor, New studies in deontic logic, pages 125–148. D. Reidel Publishing Company, 1981.
Sven Ove Hansson. Reversing the Levi identity. Journal of Philosophical Logic, 22:637–669, 1993.
Sven Ove Hansson. Semi-revision (invited paper). Journal of Applied Non-Classical Logics, 7(2), 1997.
Márcio Moretto Ribeiro and Renata Wassermann. Base revision for ontology debugging. Journal of Logic and Computation, 19:721–743, 2009. Special Issue: Recent Advances in Ontology Dynamics.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 The Author(s)
About this chapter
Cite this chapter
Ribeiro, M.M. (2013). Base Revision in Logics Without Negation. In: Belief Revision in Non-Classical Logics. SpringerBriefs in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-4186-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4186-0_7
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4185-3
Online ISBN: 978-1-4471-4186-0
eBook Packages: Computer ScienceComputer Science (R0)