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.
Borghuis, T ; Kamareddine, Fairouz Dib ; Nederpelt, R. / Formalising belief revision in type theory. In: Logic Journal of the IGPL. 2002 ; Vol. 10, No. 5. pp. 461-500.
@article{35ac151be2984770baa21a6043295476,
title = "Formalising belief revision in type theory",
author = "T Borghuis and Kamareddine, {Fairouz Dib} and R Nederpelt",
year = "2002",
language = "English",
volume = "10",
pages = "461--500",
journal = "Logic Journal of the IGPL",
issn = "1367-0751",
publisher = "Oxford University Press",
number = "5",

}

Borghuis, T, Kamareddine, FD & Nederpelt, R 2002, 'Formalising belief revision in type theory', Logic Journal of the IGPL, vol. 10, no. 5, pp. 461-500.

Formalising belief revision in type theory. / Borghuis, T; Kamareddine, Fairouz Dib; Nederpelt, R.

In: Logic Journal of the IGPL, Vol. 10, No. 5, 2002, p. 461-500.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Formalising belief revision in type theory

AU - Borghuis, T

AU - Kamareddine, Fairouz Dib

AU - Nederpelt, R

PY - 2002

Y1 - 2002

M3 - Article

VL - 10

SP - 461

EP - 500

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

SN - 1367-0751

IS - 5

ER -