In:
Journal of Symbolic Logic, Cambridge University Press (CUP), Vol. 67, No. 1 ( 2002-03), p. 1-23
Abstract:
This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ , and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation.
Type of Medium:
Online Resource
ISSN:
0022-4812
,
1943-5886
DOI:
10.2178/jsl/1190150026
Language:
English
Publisher:
Cambridge University Press (CUP)
Publication Date:
2002
detail.hit.zdb_id:
2010607-5
SSG:
5,1
SSG:
17,1
Permalink