Revision algebra semantics for conditional logic

Studia Logica 51 (2):279 - 316 (1992)

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related by virtue of the stable Ramsey test.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370117
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,350
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

Counterfactuals.David K. Lewis - 1973 - Blackwell.
Studies in Logical Theory.Robert Stalnaker - 1968 - Oxford: Blackwell.

View all 21 references / Add more references

Citations of this work BETA

Geodesic Revision.Konstantinos Georgatos - 2009 - Journal of Logic and Computation 19 (3):447-459.
Revision Algebra Semantics for Conditional Logic.John Pais - 1992 - Studia Logica 51 (2):279 - 316.

Add more citations

Similar books and articles


Added to PP index

Total views
37 ( #248,494 of 2,291,120 )

Recent downloads (6 months)
7 ( #145,976 of 2,291,120 )

How can I increase my downloads?


My notes

Sign in to use this feature