Revision algebra semantics for conditional logic

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


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.



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

60 (#268,506)

6 months
13 (#196,107)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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