Paper based on Adaptive Logics presented in ‘almost Amsterdam style’: an outline and an application.
Abstract. In this paper we reconstruct the final derivability relation of adaptive logic (a peculiar kind of nonmonotonic logic developed with the intent to formalise and explicate real-life reasoning) within the framework of modal epistemic logic. On the formal level, this is achieved through the adoption of (i) a modal language with operators labelled with sets of non-modal formulae, and (ii) a model theory which evaluates modal formulae over a contextually restricted range of possible worlds.