Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics

DOI10.1093/JIGPAL/10.6.601zbMath1021.03006OpenAlexW2018760262MaRDI QIDQ4796511

John Woods, Odinaldo Rodrigues, Dov M. Gabbay

Publication date: 16 October 2003

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/10.6.601

zbMATH Keywords

contractionbelief revisionanti-formuladeletion on object level

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

Eradication ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility

This page was built for publication: Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics