Multiple modalities

Linear logic removes the structural rules of weakening and contraction and adds an S4-like modality (written !). Only formulae of the form !φ can be weakened or contracted. An interesting question is whether these two capabilities can be separated using two different modalities. This question was st... View More