Formalizing Belief Revision in Type Theory

DOI10.1093/JIGPAL/10.5.461zbMath1015.03022OpenAlexW2123605861MaRDI QIDQ4795878

Fairouz Kamareddine, Rob Nederpelt, Tijn Borghuis

Publication date: 16 July 2003

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

Full work available at URL: https://semanticscholar.org/paper/ba1ef77d6c3f4f0a22c5d3de388888aa9e1c1b71

zbMATH Keywords

contractionlambda calculustype theorybelief changerevision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Formalizing Belief Revision in Type Theory