Formalising belief revision in type theory

T Borghuis, Fairouz Dib Kamareddine, R Nederpelt

Research output: Contribution to journalArticlepeer-review

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

Cite this