Valuation structure

Journal of Symbolic Logic 67 (1):1-23 (2002)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,934

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

A theory of hierarchical consequence and conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
Characterizations of Preferential Entailments.Yves Moinard & Raymond Rolland - 2002 - Logic Journal of the IGPL 10 (3):245-272.
Completeness and incompleteness for plausibility logic.Karl Schlechta - 1996 - Journal of Logic, Language and Information 5 (2):177-192.

Analytics

Added to PP
2009-01-28

Downloads
140 (#160,888)

6 months
26 (#126,178)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references