Title: Modal Substructural Logics
Abstract: In this talk, we will consider substructural logics with a modal
operator. In particular, we will investigate an extension of the original
Goedel-McKinsey-Tarski translation to substructural logics. We will
examine the differences between the original translation and our substructural
one. As this research has only been fairly recent begun, significant
attention will be given to prospects for future research. For example, we will
begin an analysis of modal substructural logics which are conservative
over a given substructural logic L and also contain all of the translations of
another (possibly equal) substructural logic K.