@inproceedings{3c169c713d044d6da366c8e942c56a86,
title = "A conditional logic for belief revision",
abstract = "In this paper we introduce a conditional logic BC to represent belief revision. Logic BC has a standard semantics in terms of possible worlds structures with a selection function and has strong similarities with Stalnaker{\textquoteright}s logic C2. Moreover, Gardenfors{\textquoteright} Triviality Result does not apply to BC. We provide a representation result, which shows that each belief revision system corresponds to a BC-model and every BC model satisfying the covering condition determines a belief revision system.",
author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; European Workshop on Logics in Artificial Intelligence, JELIA 1998 ; Conference date: 12-10-1998 Through 15-10-1998",
year = "1998",
doi = "10.1007/3-540-49545-2_20",
language = "English",
isbn = "3540651411",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "294--308",
editor = "Jurgen Dix and {del Cerro}, {Luis Farinas} and Ulrich Furbach",
booktitle = "Logics in Artificial Intelligence - European Workshop, JELIA 1998, Proceedings",
address = "Germany",
}