Grafting modalities onto substructural implication systems
Dov M. Gabbay · 1998
Abstract When logical systems are used to formalise some application area, they may require the addition of modality to the language for a variety of reasons: to cater for changes of the system in time, or perhaps for the dependency of the system on the context, or even to bring metalevel notions into the object level. Be the reasons and motivations what they may, we must develop the logical capability of incorporating modalities into these systems, so adding a new dimension which can explicitly and naturally account for ‘accessibility ‘ relations involved in the processes that are being modelled.