Formalising belief revision in type theory

T Borghuis, Fairouz Dib Kamareddine, R Nederpelt

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)461-500
Number of pages40
JournalLogic Journal of the IGPL
Volume10
Issue number5
Publication statusPublished - 2002

Cite this

Borghuis, T., Kamareddine, F. D., & Nederpelt, R. (2002). Formalising belief revision in type theory. Logic Journal of the IGPL, 10(5), 461-500.