Abstract: In this chapter we generalize the standard format of adaptive logics and thereby introduce an interesting larger class of adaptive logics that can be characterized in a simple and intuitive way. We demonstrate that the new format overcomes the two shortcomings of the standard format. On the one hand, logics with both qualitative and quantitative rationales can be expressed in it. On the other hand, the format is expressive enough to allow for the handling of priorities in various ways. We show that many adaptive logics that have been considered in the literature fall within this larger class -for instance adaptive logics in the standard format, adaptive logics with counting strategies, lexicographic adaptive logics-and that the characterization of this class offers many possibilities to formulate new logics. One of the advantages of the format studied in this chapter is that a lot of meta-theory comes for free for any logic formulated in it. We show that adaptive logics formulated in it are always sound and complete. Furthermore, many of the meta-theoretic properties that are usually associated with the standard format (such as cumulativity, fixed point property, (strong) reassurance, etc.) also hold for rich subclasses of logics formulated in the new format.
Publication Year: 2013
Publication Date: 2013-11-29
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot