New techniques and completeness results for preferential structures

Bibliographic Details
Authors and Corporations: Schlechta, Karl
Title: New techniques and completeness results for preferential structures
In: Journal of Symbolic Logic, 65, 2000, 2, p. 719-746
published:
Cambridge University Press (CUP)
Physical Description:719-746
ISSN/ISBN: 0022-4812
1943-5886
Summary:<jats:title>Abstract</jats:title><jats:p>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.</jats:p>
Type of Resource:E-Article
Source:Cambridge University Press (CUP) (CrossRef)
Language: English