Context Theoretical and algorithmic aspects

We are happy to present our new book to the community. Although this is a book on revision theory, it uses general methodologies which are applied in other areas of logic. We would like to highlight these methodologies in this preface. 1. the idea of logic by translation Given a new logical system L, whose properties we want to investigate, we trans-late L into a well-known logic, usually classical logic C, modal logic or intuition-istic logic. We study the properties we want in the target logic and then translate back into L. Our approach of revision by translation (see Chapter 7) is an in-stance of that methodology. We can also do interpolation by translation. What is most well known in the community is semantics by translation and decidability and undecidability by translation. This is a common way of obtaining semantics or decidability results for logical systems. 2. meta-level/object-level movement Given a logic L, there may be some manipulations of L done in the meta-level. Such notions can be provability or consequence, e.g., A ⊢ B or deletion from