Formalising belief revision in type theory

T Borghuis, Fairouz Dib Kamareddine, R Nederpelt

Research output: Contribution to journal › Article › peer-review

Cite this

@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",

}