New techniques and completeness results for preferential structures

Journal of Symbolic Logic 65 (2):719-746 (2000)

Abstract
Preferential structures are probably the best examined semantics for nonmonotonic and deontic logics; in a wider sense, they also provide semantical approaches to theory revision and update, and other fields where a preference relation between models is a natural approach. They have been widely used to differentiate the various systems of such logics, and their construction is one of the main subjects in the formal investigation of these logics. We introduce new techniques to construct preferential structures for completeness proofs. Since our main interest is to provide general techniques, which can be applied in various situations and for various base logics (propositional and other), we take a purely algebraic approach, which can be translated into logics by easy lemmata. In particular, we give a clean construction via indexing by trees for transitive structures, this allows us to simplify the proofs of earlier work by the author, and to extend the results given there
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586565
Options
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: 44,455
Through your library

References found in this work BETA

Counterfactuals.D. Lewis - 1973 - British Journal for the Philosophy of Science 27 (4):403-405.
Five Faces of Minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.
Distance Semantics for Belief Revision.Daniel Lehmann, Menachem Magidor & Karl Schlechta - 2001 - Journal of Symbolic Logic 66 (1):295-317.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
23 ( #383,108 of 2,272,244 )

Recent downloads (6 months)
7 ( #163,755 of 2,272,244 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature