Journal of Philosophical Logic:1-28 (forthcoming)

In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied in the final part of the paper.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-020-09587-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,518
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Iterated Contraction Based on Indistinguishability.Konstantinos Georgatos - 2013 - In Sergei Artemov & Anil Nerode (eds.), LFCS 2013. Springer. pp. 194–205.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Coherentist Contraction.Sven Ove Hansson - 2000 - Journal of Philosophical Logic 29 (3):315 - 330.
Coherentist Contraction.SvenOve Hansson - 2000 - Journal of Philosophical Logic 29 (3):315-330.
Changes of Disjunctively Closed Bases.Sven Ove Hansson - 1993 - Journal of Logic, Language and Information 2 (4):255-284.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
Finite Contractions on Infinite Belief Sets.Sven Ove Hansson - 2012 - Studia Logica 100 (5):907-920.
AGM Contraction and Revision of Rules.Roland Mühlenbernd, Laurent Perrussel & Emiliano Lorini - 2016 - Journal of Logic, Language and Information 25 (3 - 4):273-297.
AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - Journal of Logic, Language and Information 25 (3-4):273-297.


Added to PP index

Total views
3 ( #1,294,083 of 2,421,642 )

Recent downloads (6 months)
3 ( #249,654 of 2,421,642 )

How can I increase my downloads?


My notes