Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a ...

This is a preview. Log in through your library . Abstract In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type ...