Cookies?
Library Header Image
LSE Research Online LSE Library Services

Parallel interpolation, splitting, and relevance in belief change

Kourousias, George and Makinson, David C. (2007) Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic, 72 . pp. 994-1002. ISSN 0022-4812

[img]
Preview
PDF
Download (239Kb) | Preview

Abstract

The splitting theorem says that any set of formulae has a finest representation as a family of letter-disjoint sets. Parikh formulated this for classical propositional logic, proved it in the finite case, used it to formulate a criterion for relevance in belief change, and showed that AGMpartial meet revision can fail the criterion. In this paper we make three further contributions. We begin by establishing a new version of the well-known interpolation theorem, which we call parallel interpolation, use it to prove the splitting theorem in the infinite case, and show how AGM belief change operations may be modified, if desired, so as to ensure satisfaction of Parikh’s relevance criterion.

Item Type: Article
Official URL: http://www.aslonline.org/journals-journal.html
Additional Information: © 2007 Association for Symbolic Logic
Library of Congress subject classification: B Philosophy. Psychology. Religion > BC Logic
Sets: Departments > Philosophy, Logic and Scientific Method
Rights: http://www.lse.ac.uk/library/usingTheLibrary/academicSupport/OA/depositYourResearch.aspx
Date Deposited: 13 Feb 2008
URL: http://eprints.lse.ac.uk/3401/

Actions (login required)

Record administration - authorised staff only Record administration - authorised staff only