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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRoss T. Brady (1989). A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis. Studia Logica 48 (2):235 - 241.
D. M. Gabbay (1996). Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics. Journal of Symbolic Logic 61 (4):1057-1120.
Petr Hájek & Petr Cintula (2006). On Theories and Models in Fuzzy Predicate Logics. Journal of Symbolic Logic 71 (3):863 - 880.
Kosta Došen (1988). Sequent-Systems and Groupoid Models. I. Studia Logica 47 (4):353 - 385.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12 (2):183-211.
Karl Schlechta (1996). Completeness and Incompleteness for Plausibility Logic. Journal of Logic, Language and Information 5 (2).
Zhaohui Zhu, Zhenghua Pan, Shifu Chen & Wujia Zhu (2002). Valuation Structure. Journal of Symbolic Logic 67 (1):1-23.
Mai Gehrke (2006). Generalized Kripke Frames. Studia Logica 84 (2):241 - 275.
Dov M. Gabbay & Karl Schlechta (2010). A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 19 (1).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
