Belief Revision in Non-Classical Logics

DOI10.1007/978-1-4471-4186-0zbMath1256.03002OpenAlexW572247739MaRDI QIDQ2891286

Márcio Moretto Ribeiro

Publication date: 14 June 2012

Published in: SpringerBriefs in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-4186-0

zbMATH Keywords

relevancebelief revisionbelief contractionrecoverypartial meet contractioncore-retainmentkernel contractionbelief revision without negationexternal revisioninternal revisionTarskian logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (2)

On a logico-algebraic approach to AGM belief contraction theory ⋮ Two AGM-style characterizations of model repair

This page was built for publication: Belief Revision in Non-Classical Logics