David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 65 (2):719-746 (2000)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
David Makinson (1993). Five Faces of Minimality. Studia Logica 52 (3):339 - 379.
Bengt Hansson (1969). An Analysis of Some Deontic Logics. Noûs 3 (4):373-398.
Michael Freund & Daniel Lehmann (1994). Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations. Studia Logica 53 (2):161 - 201.
Citations of this work BETA
No citations found.
Similar books and articles
Ross T. Brady (1989). A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis. Studia Logica 48 (2):235 - 241.
Mai Gehrke (2006). Generalized Kripke Frames. Studia Logica 84 (2):241 - 275.
Zhaohui Zhu, Zhenghua Pan, Shifu Chen & Wujia Zhu (2002). Valuation Structure. Journal of Symbolic Logic 67 (1):1-23.
Arnon Avron & Iddo Lev (2001). A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems. In Proceedings of the Workshop on Inconsistency in Data and Knowledge. 60-70.
Karl Schlechta (1996). Completeness and Incompleteness for Plausibility Logic. Journal of Logic, Language and Information 5 (2):177-192.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW] Journal of Logic, Language and Information 12 (2):183-211.
Kosta Došen (1988). Sequent-Systems and Groupoid Models. I. Studia Logica 47 (4):353 - 385.
Petr Hájek & Petr Cintula (2006). On Theories and Models in Fuzzy Predicate Logics. Journal of Symbolic Logic 71 (3):863 - 880.
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.
Dov M. Gabbay & Karl Schlechta (2010). A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 19 (1):3-32.
Added to index2009-01-28
Total downloads8 ( #394,359 of 1,907,520 )
Recent downloads (6 months)1 ( #464,819 of 1,907,520 )
How can I increase my downloads?