Labelled Non-Classical Logics

The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics... » 

The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. «